codebuddy在typescript类型推导中可能存在分布式条件类型、infer递归展开、returntype精度及字面量收窄等四类偏差，需通过本地ts编译器比对验证。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
如果在使用 CodeBuddy 辅助 TypeScript 类型推导时，发现条件类型或模板字面量类型的解析结果与预期不符，则可能是由于工具未完整模拟 TypeScript 编译器的分布式条件类型行为或 infer 递归展开逻辑。以下是验证与校准该问题的操作步骤：
一、验证条件类型的分布式行为是否被正确识别
CodeBuddy 可能将联合类型（如 string | number）视为单一整体，而非按 TypeScript 规则自动分发至每个成员进行独立判断。TypeScript 在条件类型中遇到裸泛型参数 + 联合类型时，会隐式执行分布式计算；若 CodeBuddy 缺失此机制，则 Exclude
1、在本地 TypeScript 项目中编写测试用例：type Test = string | number extends string ? true : false;
2、观察 TypeScript 编译器输出：实际推导为 true | false（分布式结果），而非单一布尔值。
3、将相同代码输入 CodeBuddy，比对其返回的类型签名是否一致。
二、检查模板字面量中 infer 的多级提取能力
CodeBuddy 对 `/users/:id/posts/:postId` 类路径字符串的参数名提取，需支持递归条件类型展开。若仅实现单层 ${string}/:${infer K} 匹配，则无法捕获第二个参数 postId，导致 ExtractParams 仅返回 { id: string } 而非完整对象。
1、定义递归类型工具：type ExtractParams<t> = T extends `${string}/:${infer K}/${infer Rest}` ? { [k in K]: string } & ExtractParams<rest> : T extends `${string}/:${infer K}` ? { [k in K]: string } : {};</rest></t>
2、实例化该类型：type Result = ExtractParams;
3、确认 TypeScript 4.9+ 正确推导出 { id: string; postId: string }，再比对 CodeBuddy 输出。
CodeBuddy Code CLI 的安装、配置与使用指南。CodeBuddy Code 是腾讯推出的 AI 驱动 CLI 编程助手，支持自然语言驱动开发。 - 必备触发词：CodeBuddy, codebuddy, AI CLI, Tencent AI coding, @tencent-ai/codebuddy-code, terminal AI assistant - 适用场景：安装 CodeBuddy CLI、配置 CodeBuddy、使用 CodeBuddy 命令、排查 CodeBuddy 问题
三、确认 infer 在函数类型中的返回值捕获精度
CodeBuddy 若将 infer R 错误解析为任意类型而非严格约束于函数签名中的实际返回类型，则会导致 ReturnType 工具类型失效。例如对 () => Promise<number></number>，应推导出 Promise
1、声明目标函数：const fn = () => Promise.resolve(42);
2、定义类型：type R = ReturnType<typeof fn>;</typeof>
3、检查 TypeScript 编译器提示的 R 类型，再输入 CodeBuddy 验证其是否显示为 Promise
四、比对字面量字符串类型是否被过度收窄或放宽
CodeBuddy 可能忽略字面量类型的精确性，将 "success" 推导为 string，从而破坏条件类型中 "success" extends Status ? ... 的分支选择。TypeScript 默认对字符串字面量启用严格收窄，但外部工具若未启用 --exactOptionalPropertyTypes 或等效策略，可能丢失该语义。
1、定义联合字面量类型：type Status = "success" | "error";
2、编写条件类型：type Handler<t> = T extends "success" ? { data: unknown } : { error: string };</t>
3、应用该类型：type S = Handler;
4、确认 TypeScript 推导为 { data: unknown }，并核查 CodeBuddy 是否给出相同结论。
