strictPropertyInitialization should consider `return`

TypeScript Version: 3.2.0-dev.20181004

Code

class C {
    x: number;

    constructor(b: boolean) {
        if (b) {
            this.x = 3;
        } else {
            return new C(true);
        }
    }
}

Expected behavior:

No error.

Actual behavior:

src/a.ts:2:5 - error TS2564: Property 'x' has no initializer and is not definitely assigned in the constructor.

2     x: number;

TypeScript の例と、プロパティ x に対する strictPropertyInitialization の診断から始めます。次に、return 文を処理するコンストラクターの制御フロー解析を追跡し、その後、return パスで新しい C が作成される場合に例で TS2564 エラーが発生しないことを確認します。