go/types类型检查是约束求解+语义绑定而非启发式推导；types.Info.Types存储的是各表达式当前类型绑定快照，非推导过程记录。
直接说结论：go/types 的类型检查不是“推导”而是“约束求解 + 语义绑定”，它不靠启发式猜测，而是严格按 Go 语言规范对 AST 节点做单向类型赋值和一致性校验；所谓“类型推断”在 go/types 中实际表现为 types.Info.Types 映射中对未显式标注类型的表达式（如 x := 42）填充 *types.Basic 或 *types.Named 类型实例的过程。
为什么 checker.Files() 不会自动推导泛型函数调用的类型参数？
因为 go/types 的类型检查是分阶段的：名称解析 → 常量折叠 → 类型绑定。泛型调用（如 slices.Sort(s)）在 AST 层面只是普通调用表达式，其类型参数必须由上下文提供约束才能解出。Checker 不会主动“猜测”s 是 []string 还是 []int，除非：
-
s的声明已带完整类型（var s []string），则info.Types[s].Type可直接用于约束求解 - 调用时显式传入类型参数（
slices.Sort[string](s)），则ast.CallExpr的Fun字段会包含ast.IndexListExpr，Checker 从中提取参数并验证约束 - 存在接口约束（如
func F[T constraints.Ordered](x T)），且x的实际类型满足T ~ int | ~float64，Checker 才会将T绑定为具体底层类型
漏掉任一环节，info.Types[callExpr].Type 就会是 nil 或 types.Universe.Lookup("invalid")。
types.Info.Types 里存的是什么，不是“推导结果”而是“绑定快照”
types.Info.Types 是一个 map[ast.Expr]types.TypeAndValue，它不记录“怎么来的”，只记录“此刻是什么”。例如：
立即学习“go语言免费学习笔记（深入）”；
var x = "hello" y := x + " world"
其中：
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
-
info.Types[x]的Type是*types.Basic（Kind =types.String） -
info.Types[y]的Type也是*types.Basic（同上），但Value是nil（字符串拼接不是常量表达式，无法常量折叠） - 如果写成
const y = "hello" + " world"，info.Types[y].Value才会有非空的constant.Value
注意：types.TypeAndValue 的 Type 字段可能为 nil —— 这通常意味着该表达式未通过类型检查（比如用了未定义变量），而不是“还没推导完”。
自定义 Config.Importer 时最容易踩的坑
默认的 types.DefaultImporter 只能解析标准库和 GOPATH/GOROOT 下的包，对模块路径（如 github.com/user/repo）或本地相对路径（./mypkg）直接失败。错误现象通常是：
could not import github.com/user/repo (can't find import: "github.com/user/repo")
解决方法不是换 importer，而是确保：
- 调用
conf.Check()时传入的files已包含所有依赖包的 AST（即你得自己用parser.ParseDir把整个模块 parse 出来） - 或实现一个包装
packages.Load的types.Importer，利用packages.Config.Mode = packages.NeedTypesInfo获取已类型检查过的包对象 - 切勿在
Importer.Import中递归调用checker.Files()，会导致栈溢出或循环依赖检测失效
真正难的不是写 importer，而是让 token.FileSet 和 ast.File 的位置信息全程对齐——错一位，fset.Position(pos) 就会定位到错误行，debug 成本陡增。
类型检查器本身不维护“推导历史”，也不缓存中间状态；每次 checker.Files() 都是全新构建符号表。如果你看到两次检查结果不一致，大概率是 types.Info 实例被复用、token.FileSet 未重置，或者 Config.Importer 返回了不同实例的包对象。
