No type inferrence of callback arguments inside a tuple union type

🔎 Search Terms

• discriminated union inference
• union argument inference

🕗 Version & Regression Information

• This is a compilation error in tsserver 3.3.2

⏯ Playground Link

https://www.typescriptlang.org/play?#code/C4TwDgpgBAkgdgMwgJwILIOZQLwCgpQA+UA2gIwA0UAFAIYBcUcArgLYBGKAlDgHxQA3APYBLACYBdfEVIAmKtXaMAzsGQi4GHtn7DxEgNy4AxkLiqotTI3hI0mHKUo1a2-gG8oAX0O4gA

💻 Code

type InferArg =
  | [1, (a: number) => void]
  | [2, (b: string) => void];
const arg: InferArg = [1, (a) => { }];

🙁 Actual behavior

I get a compilation error:

Parameter 'a' implicitly has an 'any' type.(7006)

🙂 Expected behavior

a should be inferred to be a number because I already passed 1 as the first tuple element. Type inference should be identical to this code:

type InferArg = [1, (a: number) => void];
const arg: InferArg = [1, (a) => { }];

Additional information about the issue

No response

Beginne mit der verknüpften TypeScript Playground-Reproduktion und bestätige das Verhalten anhand des tuple-union-Beispiels unter tsserver 3.3.2. Verfolge anschließend die kontextuelle Typisierung des Compilers und die Inferenz von Union-Argumenten für den callback-Parameter. Füge dann eine Abdeckung für das Beispiel hinzu oder aktualisiere sie, sodass der Parameter als number inferiert wird und die Regression verifiziert ist.