strictPropertyInitialization with subclasses that refine the types of properties

TypeScript Version: 2.7.0-dev.20171226

Code

class A {
  x: {y: string} = {y: 'y'};
}

class B extends A {
  x: {y: string, z?: number};
}

Expected behavior:
I expected this not to warn because A#x is assignable to B#x.

Actual behavior:

index.ts(6,3): error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.

Inizia riproducendo l’esempio minimo di sottoclasse con strictPropertyInitialization abilitato usando il compilatore TypeScript. Segui il percorso del controllo dei tipi che segnala TS2564 per la proprietà raffinata, quindi aggiungi un test di regressione che mostri che la diagnostica viene omessa quando l’inizializzatore della classe base soddisfa il sottotipo; esegui i test pertinenti del compilatore per confermare che i controlli di inizializzazione esistenti continuino a passare.