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

Issue の foo 例から始め、コメントアウトされた var x 宣言と直接代入のケースを比較します。パラメーターに一度でも代入されるかどうかを判定する分析を追跡し、そのうえで、初期化子を持つローカルな var 宣言が考慮され、例に示されている誤った絞り込みが発生しないことを確認します。