TypeScript `assignContextualParameterTypes`阶段缓存类型冲突调试错误：诱因代码与文件名获取咨询

我之前也碰到过类似的TypeScript内部调试错误，结合经验和对TS源码的了解，给你梳理一下相关情况：

哪些代码可能引发此错误？ #

这个错误是TypeScript类型检查器内部的缓存冲突——当它给函数参数分配类型时，发现缓存里已经存在一个和新推断类型不匹配的类型记录。常见的触发场景包括：

• 复杂函数重载+上下文类型冲突：同一个函数参数在不同重载分支中被推断出完全不同的类型，TS的类型缓存机制没能正确处理这种分支差异，导致冲突。
• 嵌套函数/对象方法的类型上下文矛盾：比如在对象字面量的方法里，参数同时被外部上下文（比如对象的类型定义）和内部逻辑（比如函数体里的使用方式）推断出矛盾的类型。
• 泛型+条件类型的复杂组合：当泛型参数在多个位置被实例化，且条件类型的推导结果和缓存的类型记录不一致时，容易触发这个内部错误。
• 第三方库类型定义问题：如果引入的第三方库类型本身存在错误（比如重载定义不严谨、泛型约束冲突），在类型检查过程中也可能触发TS的内部调试失败。

如何获取错误发生时TypeScript正在处理的文件名？ #

默认的错误栈没有直接显示目标文件，但可以通过以下方法定位：

• 启用TS调试日志：设置环境变量TSS_LOG=-level verbose -file ts-debug-log.txt，然后运行tsc --noEmit。打开生成的日志文件，找到错误发生前最后一条Processing file:的记录，就是触发错误的文件。
• 使用--pretty参数增强输出：运行tsc --noEmit --pretty，有时候TS会在错误栈前输出当前正在处理的文件路径。
• 逐步排查缩小范围：如果项目文件不多，可以尝试注释掉部分文件，重新运行tsc --noEmit，直到错误消失，就能定位到触发问题的文件。
• 列出所有待处理文件：先运行tsc --noEmit --listFiles获取所有会被检查的文件列表，再结合日志或者逐个排除的方式找到目标文件。

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