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.

Inizia riproducendo l’esempio TypeScript e confermando l’errore attuale di definite assignment. Leggi l’implementazione dell’analisi del control-flow del compilatore e i test esistenti per definite assignment e boolean narrowing. Il lavoro è completato quando le condizioni con branch flags vengono incorporate senza regressioni nel comportamento di control-flow correlato, con test che coprono l’esempio.