- _list.vp L57 elem_ptr: T | t.CPtr 在 list[AST|t.CPtr] 特化时被误报污染:strstr('e9dfb296a8674aee.AST|t.CPtr', 'T') 把 AST 内部字符 T 当参数名
- 新增 _str_contains_ident:独立标识符检测(两侧非字母/数字/_),实参内部字符不算污染
- T→T 完全自映射仍直接报错(明确污染);子串场景按边界判定
- _list.vp L57 elem_ptr: T | t.CPtr 在 list[AST|t.CPtr] 特化时被误报污染:strstr('e9dfb296a8674aee.AST|t.CPtr', 'T') 把 AST 内部字符 T 当参数名
- 新增 _str_contains_ident:独立标识符检测(两侧非字母/数字/_),实参内部字符不算污染
- T→T 完全自映射仍直接报错(明确污染);子串场景按边界判定