请说明 TypeScript 内置工具类型 NoInfer 的主要用途是什么？

回答思路

1. 【回答框架 1】NoInfer 是 TypeScript 5.4 版本引入的实用工具类型，用于抑制编译器对某些类型参数的推断。它的英文全称是 NoInfer，即禁止推断，在类型层面作为一个辅助标记，告诉 TypeScript 编译器不要从该位置推导具体的泛型类型，而是要求调用方显式指定类型参数。
2. 【回答框架 2】以泛型函数为例，比如一个合并对象或校验数据的函数，如果多个参数都涉及同一个泛型参数，编译器可能从多个位置进行推断，导致推断结果过宽或不符合预期。NoInfer 可以包住那些不希望被推断的参数类型，只保留一个明确的推断来源，让类型系统更精确。
3. 【回答框架 3】具体场景包括条件类型、函数重载或参数校验。在条件类型中，NoInfer 可以避免分布式条件类型的意外展开；在泛型函数中，NoInfer 可以让调用方必须显式传入某个类型参数，而不是从参数值中推断，增强类型安全。
4. 【回答框架 4】使用 NoInfer 实际相当于将参数类型标记为“非推断位置”，编译器会忽略该位置的候选类型，但最终类型仍会参与类型检查，确保显式指定的类型与参数值兼容。它并不改变类型本身，只是影响推断流程。
5. 【回答框架 5】需要注意 NoInfer 只在泛型推断过程中起作用，不会在已经明确具体类型的代码中产生额外效果。正确使用它能让泛型 API 的设计更严谨，避免类型被意外拓宽或推断错误。
6. 【关键点 1】NoInfer 禁止编译器从标记位置推断泛型类型，须由调用方显式指定
7. 【关键点 2】常用于泛型函数多个参数推断冲突或希望强制显式传参的场景
8. 【关键点 3】不改变类型本身的检查，只调整推断过程，需要保持参数兼容性
9. 【易错点 1】部分开发者误以为 NoInfer 会把类型变成 any，实际它仍然保留类型检查，只是不参与推断
10. 【易错点 2】在 TypeScript 5.4 之前的版本中不存在该类型，使用时需注意环境版本