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.

Commencez par la reproduction minimale en TypeScript de l’issue et comparez le typage contextuel des appels avec un callback et avec deux callbacks. Suivez l’inférence des types et la gestion des overloads pour le union rest parameter, puis vérifiez que le premier paramètre du callback est inféré comme string sans régression dans les typings de Error et de data.