[Regression] Failed to assign to a discriminated union class property when its type is inferred from constructor

🔎 Search Terms

property infer constructor discriminated

🕗 Version & Regression Information

• This changed between versions 4.3.5 and 4.4.4 (also in latest)

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=4.4.4#code/C4TwDgpgBAysCGxoF4oG8qkgLigcgCcBXAOxIEsSBzPAGigGdIIATXEogWwCMICoAvlAA+6TOAi48DYAHswkFnkEBuAFBqAxgBt4DBlACCmufzRqolqGALkAbomgzH6q1AD07t1YB6Afg03TVkSGWITWQIACgBKdAtvS2AAC3IGADpnJChUDCxJfBl5RWUhPVgEJFcrAUCrYhIopghWdi5eAjjzRKTUjKyUMXypBopqOkZmFkEEy1qBIA

💻 Code

type State = { type: 'running', speed: number } | { type: 'stopped' };

class Actor {
    private state;
    //       ^? Actor.state: State

    constructor() {
        this.state = { type: 'stopped' } as State;
    }

    run(speed: number) {
        this.state = { type: 'running', speed }
    }
}

🙁 Actual behavior

Type 'string' is not assignable to type '"running" | "stopped"'.(2322)

🙂 Expected behavior

No error, as in 4.3.5.

Additional information about the issue

If the property's type is explicitly declared as private state: State the error is gone.

Inizia con il repro collegato di TypeScript Playground e confronta il suo comportamento nella versione 4.3.5, nella 4.4.4 e nell’ultima versione. Analizza i tipi inferiti delle proprietà di classe e il controllo delle assegnazioni per l’unione discriminata mostrata. Il lavoro è completato quando il repro non segnala più un errore senza un’annotazione esplicita della proprietà e un test di regressione copre il caso.