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

Inizia dalla riproduzione collegata in TypeScript Playground e conferma il comportamento usando l'esempio tuple-union con tsserver 3.3.2. Traccia quindi il contextual typing del compilatore e l'inferenza degli argomenti union per il parametro callback, poi aggiungi o aggiorna la coverage dell'esempio in modo che il parametro venga inferito come number e che la regressione venga verificata.