diff --git a/lib/core/Handles/HandlesTypeMerge.py b/lib/core/Handles/HandlesTypeMerge.py
index bb99253..e1008a2 100644
--- a/lib/core/Handles/HandlesTypeMerge.py
+++ b/lib/core/Handles/HandlesTypeMerge.py
@@ -1061,6 +1061,19 @@ class HandlesTypeMerge(BaseHandle):
         # 无法获取正确的特化类名 → 方法分派 fallback 到错误的类
         if Source.IsStruct and Source.Name and not Target.Name:
             Target.Name = Source.Name
+        # 【IsStruct 必须随 Name 一起传播】`_MergeAllComponentTypes` 的
+        # "struct 吸收第一个 t.CPtr"规则（见该函数 :1022-1027 的注释：
+        # struct 变量默认是指针 ⇒ `AST | t.CPtr = AST*`）以 `Result.IsStruct` 为**闸门**：
+        # 此前本函数只复制 Name、从不置 IsStruct ⇒ 闸门恒假 ⇒ 闸门后的
+        # `Result.PtrCount -= 1` 永不执行 ⇒ 「类 + CPtr」的联合（如
+        # `list[str] | t.CPtr`）合并后指针层数**多算一层**（得 `list[str]**`，应为
+        # `list[str]*`）⇒ 调用点/字段拿到的值类型 pointee 是指针而不是结构体 ⇒
+        # 类名在下游被当作通用指针处理（现场：`parts = s1.split(',')` 的返回值
+        # pointee 非结构体 ⇒ HandlesAssign 的类名推断整块跳过 ⇒ 随后 `parts[0]`
+        # 退化成按字节索引并得到整数）。
+        # 语义上这两个标志同源（合并结果就是那个 struct），故成对传播。
+        if Source.IsStruct:
+            Target.IsStruct = True
         # REnum 标志和名称保留（BinOp `LLVMType | t.CPtr` 合并时不能丢失 REnum 语义）
         # 同时传播 IsStruct=True，让 CPtr 吸收逻辑生效（REnum 在内存布局上是 struct）
         if Source.IsRenum and Source.Name: