Incorrectly typed argument variant

TypeScript Version: 3.8.3

Search Terms:

Parameters, Array, Overloading, Type inference

Code

type VariantA = [(err: Error, data: string) => any]
type VariantB = [(data: string) => any, (err: Error) => any]
type Args = VariantA | VariantB
 
function fn (...rest: Args): void { /* do something */ }

fn((err, data) => {
  err.stack // Correct: Typed as Error
  data.charAt(0) // Correct: Typed as string
})

fn((data) => {
  data //  --> Error: Mistyped as any, should be string  <--
}, (err) => {
  err.stack // Correct: Typed as Error
})

Expected behavior:

If two functions are passed in (VariantB), the first paramter should be typed as data: string.

Actual behavior:

If two functions are passed in, the first function's parameter is typed as any.

Bắt đầu với bản tái hiện TypeScript tối thiểu trong issue và so sánh contextual typing cho các lời gọi có một callback và hai callback. Truy vết quá trình suy luận kiểu và xử lý overload cho union rest parameter, sau đó xác minh rằng tham số đầu tiên của callback được suy luận là string mà không làm ảnh hưởng đến các typing của Error và data.