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

Bắt đầu với ví dụ foo của issue và so sánh khai báo var x đã bị comment với trường hợp gán trực tiếp. Theo dõi phần phân tích quyết định liệu một tham số có từng được gán hay không, sau đó kiểm tra rằng một khai báo var cục bộ có trình khởi tạo được tính đến mà không tạo ra việc thu hẹp sai như trong ví dụ.