打字稿：用其余参数组装一个联合？

Question

See the code:

type FN = <U>(...rest: U[]) => U

declare const fn: FN

let union = fn('bar', 123) // Argument of type '123' is not assignable to parameter of type 'string'

I expected that union should have a union type string | number string | number , but instead U is set to the type of the first argument ( string ).

Is it possible to push types of rest arguments to a union?

Playground

Answer 1

I am not sure of the design decisions around this, but if you have U[] the compiler will not infer a union for that it will rather issue an error for primitives at least (this for example results in a union let union = fn({ a: 'bar' }, { b: 123 }) ).

A simple workaround is to use tuples in rest parameters instead:

type FN = <U extends any[]>(...rest: U) => U[number]

declare const fn: FN

let union = fn('bar', 123) // string | number