typescript-narrowing-expert

用于设计可辨识联合、调试控制流分析、选择 satisfies 与 as、构建品牌类型、编写用户自定义类型守卫，或组合条件类型和模板字面量类型。触发场景包括：类型守卫后出现“类型 X 不可赋值给类型 Y”、通过 never 进行穷尽性检查、satisfies 与显式注解的选择、条件类型中的 infer、带键重映射的映射类型、分布条件类型，以及在回调中类型收窄后丢失收窄后的类型。不适用于仅运行时验证（如 zod/yup）、tsc 编译器内部机制，或仅在编译时存在但未在运行时使用的类型。

存档时间线

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

下载存档内容副本