为什么我的泛型约束在联合类型上失效

前言

从一个真实 bug 开始：索引查询居然返回 never，接着解释裸类型参数、类型分配特性，以及如何用套一层 tuple 关掉这个行为。

现场笔记

在处理 TypeScript 问题的过程中，反复出现的几个模式：

• 简单的版本撑过了每次重构，聪明的版本没有。
• 边做边写的文档，比事后补写的耐用得多。
• 同一个问题第二次出现时，它就已经是一个模式了——给它起个名字。

可以直接抄的检查清单

• 问题可以用一条命令复现。
• 修复附带一个没有它就会失败的测试。
• 作者本人之外的人也在自己的机器上跑过。

写在最后

写下未来那个自己真正会读的短版本——这就是全部的诀窍。