Infer constrained generic parameters after instanceof check

TypeScript Version: 2.4.0

When a variable passes an instanceof check generic type with constraints on the type parameter, apply to constraints to the variable. There is currently no clean way to handle the following without an explicit cast:

Code

interface Foo {
    foo: string;
}

class Bar<T extends Foo> {
    constructor(readonly bar: T) {}
}

let a: any;
if (a instanceof Bar) {
    a.bar; // <-- a.bar should be 'Foo' instead of 'any'
}

Expected behavior:

a.bar is inferred as an instance of Foo.

Actual behavior:

a.bar is any

This change would only impact type checking, and will not affect compilation output.

Inizia con la riproduzione in TypeScript nell’issue e analizza come il controllo instanceof restringa una variabile il cui parametro di tipo generico ha un vincolo. Verifica il tipo dedotto di a.bar e individua l’area rilevante dei test di type-checking. Il lavoro è completato quando a.bar viene dedotto come Foo senza modificare l’output della compilazione.