infer递归条件类型
-
claude code对TypeScript泛型约束规则的遵循程度实测
大约三周前,我接手了一个老项目的TypeScript迁移。类型定义写得飞起,直到一个泛型工具函数的编译错误把我卡住了整整一个下午。当时的场景很简单:我让Claude Code帮我写一个提取嵌套对象字段的泛型工具，就是那种典型的需要extends约束配合keyof和infer才能玩的组合拳。生成的代码看着干干净净,逻辑也通顺,但tsc一把梭下去,八行报错。 这让我开始认真琢磨一个问题:Claude …
