CFA should consider branch flags

This is a suggestion to improve the CFA. It would be good if TypeScript considered branch flags when analysing code paths.

function f() {
    let text: string;
    let hasTakenVerySpecificBranch = false;
    if (0.5 < Math.random()) {
        if (0.5 < Math.random()) {
            if (0.5 < Math.random()) {
                hasTakenVerySpecificBranch = true;
                text = '';
            }
        }
    }
    if (!hasTakenVerySpecificBranch) {
        text = ''
    }
    console.log(text); // Error 'text' is used before assigned.
}

We assign text on all possible code paths above. And it shouldn't error above.

A branch flag is simply a boolean variable that is considered when doing the control flow analysis.

まず TypeScript の例を再現し、現在の definite-assignment エラーを確認します。コンパイラーの control-flow analysis の実装と、definite assignment および boolean narrowing に関する既存のテストを読みます。branch-flag 条件が組み込まれ、関連する control-flow の動作を後退させることなく、例を対象とするテストがある状態を完了とします。