TermiNexus
590a6a2bbe
- get_or_create_sym 只用「名字+作用域」复用（ty 不参与判定），可能命中类型不同的旧 alloca（同名重声明 / 退化 alloca，如裸 list* 对上 list[ast.ASTptr]*）→ alloca 类型与使用点注解类型分裂 → 方法调用按错误元素类型特化 → inttoptr 截断 - 只比较「双方都是指针且 pointee 都是结构体」这一最典型退化形态：结构体名不同即 fatal_error，报出变量名与两个类型，直接暴露退化点（不兜底）