"Unassigned parameter" analysis doesn't account for local var declarations

In JS, it's legal to have a var declaration merge with a parameter declaration. By doing this and creating one with an initializer, you can get around TypeScript 4.4's "is this parameter ever assigned to?" checks for aliased conditions.

function foo(x: string | number) {
    // Try uncommenting (1) and (2) 

    // (1)
    // var x: string | number = 42;

    // (2)
    // x = 42;

    const a = typeof x === "string";
    if (a) {
        x // observe the type switch between `string` and `never` here.
    }
}

Comienza con el ejemplo foo del issue y compara la declaración comentada var x con el caso de asignación directa. Sigue el análisis que decide si alguna vez se asigna un valor a un parámetro y verifica después que una declaración local var con un inicializador se tenga en cuenta sin producir el estrechamiento incorrecto mostrado en el ejemplo.