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.

Beginnen Sie mit der minimalen TypeScript-Reproduktion im Issue und vergleichen Sie das Contextual Typing für Aufrufe mit einem und mit zwei Callbacks. Verfolgen Sie die Typinferenz und die Overload-Behandlung für den union rest parameter und überprüfen Sie anschließend, dass der erste Callback-Parameter als string inferiert wird, ohne die Error- und data-Typings zu beeinträchtigen.