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.

Comienza reproduciendo el ejemplo de TypeScript y confirmando el error actual de definite assignment. Lee la implementación del análisis de control de flujo del compilador y las pruebas existentes para definite assignment y boolean narrowing. Se considera terminado cuando las condiciones con branch flags se incorporen sin regresiones en el comportamiento relacionado de control de flujo, con pruebas que cubran el ejemplo.