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

リンクされている TypeScript Playground の再現コードから始め、tsserver 3.3.2 で tuple-union の例を使って動作を確認します。次に、callback パラメーターに対するコンパイラーのコンテキスト型付けと union 引数の推論を追跡し、その後、パラメーターが number として推論され、回帰が検証されるように、この例のカバレッジを追加または更新します。