"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.
    }
}

Inizia con l’esempio foo dell’issue e confronta la dichiarazione commentata var x con il caso dell’assegnazione diretta. Segui l’analisi che determina se a un parametro viene mai assegnato un valore, quindi verifica che una dichiarazione locale var con un inizializzatore venga considerata senza produrre il restringimento errato mostrato nell’esempio.