为何TypeScript元组联合类型下函数参数无法被自动推断？

给定如下元组联合类型：

type Test = 
  | ['a', (a: 'a') => void]
  | ['b', (b: 'b') => void]

当使用该类型进行赋值时，函数参数无法被推断类型：

const test: Test = ['a', (a) => {}]
// Parameter 'a' implicitly has an 'any' type.ts(7006)

但不使用联合类型时，函数参数却能正常被推断：

type Test = ['a', (a: 'a') => void]
const test: Test = ['a', (a) => {}]
// ✅

请问导致这一差异的原因是什么？

这是因为TypeScript在处理联合类型的上下文推断时，无法从联合的多个分支里精准匹配出当前赋值对应的具体分支。

当你直接用单个元组类型时，TypeScript能明确知道数组的第一个元素是'a'，第二个元素必须是参数为'a'的函数，所以可以直接推断出函数参数a的类型是'a'。

但换成联合类型后，TypeScript需要同时考虑两个分支：第一个分支是['a', (a: 'a') => void]，第二个是['b', (b: 'b') => void]。此时你赋值['a', (a) => {}]，TypeScript虽然能识别第一个元素是'a'，但在推断函数参数时，它不会自动根据第一个元素的类型去缩小联合类型的范围——因为类型推断是整体进行的，它需要先确定整个表达式的类型是否符合联合类型的任一分支，而不是先通过第一个元素锁定分支再推断函数参数。

简单来说，联合类型的上下文无法提供足够的“局部推断信息”，TypeScript不能从联合的多个可能分支中，根据已确定的部分（第一个元素'a'）去推导未确定部分（函数参数）的具体类型，所以只能给参数a赋予any类型。

内容的提问来源于stack exchange，提问作者johngeorgewright