Fails to type check annotated code

Here is an example of the code:

```ts
type Just = {
x: T
}
enum Maybe {
None,
Just
}

const delta = (a:int, b:int):Maybe => {
if a == b {
None
} else {
Just{x: b - a}
}
}
```

Only thing that seems to works is

Inizia riproducendo il fallimento del controllo dei tipi con l’esempio TypeScript annotato nell’issue e confrontalo con la forma funzionante mostrata nell’ultima immagine. Segui il punto di ingresso del controllo dei tipi e identifica la modifica necessaria affinché l’esempio superi correttamente il controllo dei tipi.

Scritto dal modello di indicizzazione a partire dal testo della issue.