TypeScript is unable to infer the correct type for a mapped tuple

I was playing around with mapped tuples and came across an interesting case where TypeScript cannot infer the types used:

interface Foo<A, B> {
    (a: A, b: B): any
}

function test<A, Bs extends readonly any[]>(...args: { [K in keyof Bs]: Foo<A, Bs[K]> }) {}

let add: Foo<string, string> = (a, b) => a + b;
test(add);

error TS2345: Argument of type 'Foo<string, string>' is not assignable to parameter of type 'Foo<unknown, string>'.
  Type 'unknown' is not assignable to type 'string'.

80 test(add);
        ~~~

Interestingly, this succeeds if Foo is an object interface; ex.

interface Foo<A, B> {
	a: A,
	b: B,
}

function test<A, Bs extends readonly any[]>(...args: { [K in keyof Bs]: Foo<A, Bs[K]> }): A {
	throw "unimplemented";
}
let foo: Foo<string, string> = {a: '', b: ''};

let str = test(foo);

Though looking at my IDE, and adding a small compile time assertion shows that it actually can't correctly infer the type of this either; A (and thus str) has an inferred type of unknown, so the problem still shows up, it just doesn't immediately cause an error in this case.

let string_assert: typeof str extends string ? true : never = true;

error TS2322: Type 'boolean' is not assignable to type 'never'.

13 let string_assert: typeof str extends string ? true : never = true;

Thus, my question is two-fold:

1. Why does TypeScript fail to infer the correct type in these cases? (Keep in mind that the concrete types for the passed argument should be known; they are even explicitly written.)

2. How can I fix this other than explicitly calling test<string, string[]>(add)?

posted over 2 years ago

CC BY-SA 4.0

7mo ago

Moshi‭

2366 reputation 16 36 273 55