核心结论
条件类型只有在左侧是“裸类型参数”时，传入联合类型才会逐成员分布。形如 T extends U ? X : Y，当 T 被替换为 A | B 时，会近似分别计算 A 与 B，再把结果合成联合。该机制适合过滤、提取和逐成员转换；若语义是判断整个联合是否整体满足约束，则应显式关闭分布，常见写法是把判断两侧分别包进单元素元组，即 [T] extends [U] ? X : Y。设计工具类型前必须先确认需要“逐成员处理”还是“整体判断”。
底层机制
所谓裸类型参数，是指条件左侧直接出现类型参数本身，没有被数组、元组、对象、函数或其他类型结构包裹。T extends U 可以分布，而
