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.

Beginne damit, das minimale Unterklassenbeispiel mit aktiviertem strictPropertyInitialization mithilfe des TypeScript-Compilers zu reproduzieren. Verfolge den Typprüfpfad, der TS2564 für die verfeinerte Eigenschaft meldet, und füge anschließend einen Regressionstest hinzu, der zeigt, dass die Diagnose ausgelassen wird, wenn der Initialisierer der Basisklasse den Untertyp erfüllt; führe die relevanten Compiler-Tests aus, um zu bestätigen, dass die vorhandenen Initialisierungsprüfungen weiterhin erfolgreich sind.