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

Comienza con la reproducción vinculada en TypeScript Playground y confirma el comportamiento usando el ejemplo de tuple-union con tsserver 3.3.2. Sigue la tipificación contextual del compilador y la inferencia de argumentos de unión para el parámetro callback; después, añade o actualiza la cobertura del ejemplo para que el parámetro se infiera como number y se verifique la regresión.