codebuddy 在 typescript 泛型推导上存在四大局限：一、条件类型嵌套时 infer 失效，返回 flatten 而非 string；二、分布式条件类型不触发分发，r 错误为 { value: string | number }；三、映射类型中 keyof t 丢失字面量键，返回 array 而非 array；四、模板字面量中多重 infer 截断，parseurl 解析为 never。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
CodeBuddy 在处理 TypeScript 类型体操时，对泛型推导的支持存在明显局限性。它无法像 TypeScript 编译器（tsc）或 VS Code 的 TypeScript 语言服务那样执行完整的类型检查、约束求解与条件类型展开。以下是几种典型失效场景及对应验证方式：
一、条件类型嵌套推导失败
当泛型参数参与多层 extends 条件判断（如 infer 在联合类型中多次提取）时，CodeBuddy 通常跳过 infer 推导逻辑，直接返回 any 或原始泛型形参名，不还原实际推导结果。
1、定义类型 type Flatten
2、声明变量 const x: Flatten = "hello";
3、观察 CodeBuddy 提示的类型：显示为 Flatten 而非预期的 string。
二、分布式条件类型未触发分发行为
TypeScript 对裸类型参数在条件类型中的使用具有自动分发机制，而 CodeBuddy 缺乏该语义建模能力，将联合类型整体视为单个分支，导致推导结果丢失并集结构。
1、定义类型 type Boxed
2、使用类型别名 type R = Boxed
3、CodeBuddy 解析出的 R 类型为 { value: string | number }，而非正确结果 { value: string } | { value: number }。
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 问题
三、映射类型中 keyof T 的泛型约束丢失
在泛型函数中对对象类型做 in keyof T 映射时，CodeBuddy 常忽略 T 的实际约束边界，将键名推导为 string 或 any，无法保留字面量联合类型信息。
1、定义函数 function keysOf
2、调用 keysOf({ a: 1, b: 2 });
3、CodeBuddy 返回类型标注为 Array
四、模板字面量类型中 infer 匹配截断
对复杂模板字符串进行 infer 拆解（如提取前缀、后缀、中间段）时，CodeBuddy 仅支持最左端简单匹配，无法处理嵌套 ${} 插值或多重 infer 约束组合。
1、定义类型 type ParseUrl
2、使用 type X = ParseUrl;
3、CodeBuddy 无法完成 Domain 和 Path 的分离推导，X 类型被解析为 never，而非预期的对象类型。
