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.

Issue 内の最小限の TypeScript 再現コードから始め、callback が 1 つの場合と 2 つの場合の呼び出しで contextual typing を比較します。union rest parameter に対する型推論と overload の処理を追跡し、そのうえで、Error と data の型付けを後退させることなく、最初の callback パラメーターが string として推論されることを確認します。