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

Beginne mit dem foo-Beispiel des Issues und vergleiche die auskommentierte Deklaration var x mit dem Fall der direkten Zuweisung. Verfolge die Analyse, die entscheidet, ob einem Parameter jemals ein Wert zugewiesen wird, und überprüfe anschließend, dass eine lokale var-Deklaration mit einem Initialisierer berücksichtigt wird, ohne die im Beispiel gezeigte falsche Einschränkung zu erzeugen.