Type guards not working for indexed types with generics

TypeScript Version: 2.7

Search Terms: indexed type guard

Code

function f<T extends string>(q: {[k:string]: number | string}, t: T) {
    const v= q[t];
    if (typeof(v)!=="string") {
        const vv: number = v;
    }
}

Expected behavior: Type of v is string|number, and in the if it is just number. Compiles.

Actual behavior: Assignment to vv doesn’t compile: string not assignable to number. When hovering, type of v is { [k: string]: string | number; }[T], so eliminating string from it does not change the type, it is still the same, and only when assigning to vv it gets resolved to string|number which then causes compilation error.

Changing type of t to string fixes the problem. The problem also appears if q has type keyed by [k in T].

Playground Link: link

Related Issues:

[mhegazy]

Narrowing with primitives really does not work with generics… here is a simpler example:

function f<T extends string | number>(t: T) {
    if (typeof t !== "string") {
        const v: number = t; // Error
    }
}

The issue here is that T has to stay generic. any narrowing we do has to be on the type of the constraint, so in if block t should be T extends number instead of T extends number | string.

[TPReal]

The problem is that this is a regression - my original example, or something equivalent to it, used to work in some earlier version (I’m not sure which exactly) because q[t] was immediately treated as string | number, at least in the case when the key was declared as [k in T]. So I’m quite sure this is a bug, not just a suggestion.

I think that this is why @mhegazy’s example is different than mine, where the type does not really depend on T.