为何冗余条件类型会改变TypeScript编译行为？

核心原因：TypeScript类型检查的机制差异 #

• 冗余条件类型会触发延迟类型解析：像T extends unknown ? T : never这类完全等价的条件包裹，会让TypeScript推迟类型的最终解析时机，绕过了原本触发TS(2322)的即时严格校验逻辑。
• 类型内部标识的隐性差异：虽然hover显示的最终类型和原类型一致，但TypeScript内部对“原始定义类型”和“条件推导类型”的存储逻辑不同，这种标识差异会导致类型检查器跳过部分原本的比对规则。

是否属于TypeScript潜在问题？ #

• 属于类型检查器的边缘场景bug：从语义上看，冗余条件类型和原类型完全等价，不应该影响赋值校验结果。这种行为违背了类型系统的一致性原则，是TS类型校验逻辑中的疏漏。
• 这类问题多和泛型推导、上下文优先级相关：在复杂泛型、联合/交叉类型场景下，即时解析的类型会触发严格的赋值校验，而延迟解析的条件类型可能因推导时机不同，通过了原本不允许的赋值。

后续调试的可行依据 #

• 构建最小复现案例：将代码简化到仅保留触发问题的核心逻辑（比如泛型、目标类型、冗余条件），定位具体的触发场景（如是否和泛型约束、联合类型有关）。
• 查看类型推导日志：执行tsc --traceResolution --extendedDiagnostics命令，输出详细的类型检查流程，对比有无冗余条件时的推导步骤差异，找到校验逻辑的分歧点。
• 跨版本测试：在TS Playground中切换不同版本验证问题是否存在，判断是旧版本已知bug还是新版本引入的问题。
• 检测类型真实等价性：使用自定义工具类型（如type IsEqual<T, U> = (<X>() => X extends T ? 1 : 2) extends (<X>() => X extends U ? 1 : 2) ? true : false）对比原类型和包裹后的类型，确认内部结构是否真的一致——有时hover显示的只是简化后的表面类型。

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