用途：在调试类型推断、理解类型拓宽与收窄、探索陌生代码库、学习库的类型建模，以及验证推断返回类型是否符合预期时，借助编辑器查看 TypeScript 对代码的真实判断。
主要能力：悬停查看推断类型（如 const list = [1,2,3] 推断为 number[]，加 as const 后为 readonly [1,2,3]）；在链式调用中逐段查看泛型结果；在分支中观察类型收窄；用“转到定义”查看库类型实现（如 fetch 跳转到 lib.dom.d.ts 中的声明）；用重命名符号（F2）理解作用域，用移动符号、提取方法/变量等重构工具保留类型信息。
使用方式：类型行为异常时先悬停验证；对复杂泛型逐层点击“转到定义”追踪；常用快捷键包括悬停查看类型、F12 或 Cmd/Ctrl+Click 转到定义、Shift+F12 查找所有引用、F2 重命名、Cmd/Ctrl+. 快速修复。
需注意的常见陷阱：typeof null 为 'object'，因此 typeof x === 'object' 时类型可能是 HTMLElement | null；可选属性访问得到 string | undefined；数组越界索引默认推断为 number，除非启用 noUncheckedIndexedAccess。
限制：资料未提供安装命令、平台支持范围、收费方式或效果数据。该技能基于《Effective TypeScript》第 6 条，核心原则是类型行为异常时不要猜测，而是检查。