TypeScript泛型约束异常咨询：替换类型后报错消失

问题场景 #

以下代码会触发预期的约束错误：Type 'Type[T][1]' does not satisfy the constraint 'Type[T][0]'

declare type Type = {
  0: [B, A],
  1: [0, 0],
}

type A = { A: number }
type B = { B: number }

type FirstExtendsSecond<First extends Second, Second> = void;
type Test<T extends 0 | 1> = FirstExtendsSecond<Type[T][1], Type[T][0]>;

但将Type中索引1的数组值从[0, 0]替换为[A, A]后，原本应该存在的约束错误却消失了，这一现象看似不符合预期。

原因解析 #

这并非编译器无法识别非法约束，而是TypeScript处理泛型联合类型的分布式特性导致的：

• 当T为联合类型0 | 1时，Test<T>会被分布式展开为Test<0> | Test<1>。
• 初始代码中，Test<0>对应FirstExtendsSecond<A, B>（A不继承B，非法），Test<1>对应FirstExtendsSecond<0, 0>（合法），由于存在非法分支，编译器抛出错误。
• 替换为[A, A]后：
  • Test<0>仍是FirstExtendsSecond<A, B>（非法）；
  • Test<1>变为FirstExtendsSecond<A, A>（合法）；
    此时编译器的约束检查逻辑认为联合类型中存在合法分支，因此不再抛出错误。这是TypeScript的设计特性：针对泛型联合类型的约束，只要有至少一个分支满足要求，就不会触发整体错误。

简言之，编译器能识别单个分支的非法约束，但在联合类型场景下，它的校验逻辑是“存在合法分支即通过”，而非“所有分支必须全合法”。

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