diff --git a/lib/core/LLVMCG/BaseGen.py b/lib/core/LLVMCG/BaseGen.py
index f05d4d2..50f09fe 100644
--- a/lib/core/LLVMCG/BaseGen.py
+++ b/lib/core/LLVMCG/BaseGen.py
@@ -483,6 +483,19 @@ class BaseGenMixin:
             return ir.IntType(8)
         if self.SymbolTable:
             Entry: _CTypeInfo | None = self.SymbolTable.lookup(clean_name)
+            # 「有类定义 ⇒ 是类」的唯一判据（与 TypeConvert._type_str_to_llvm_base
+            # 的 `type_str in self.structs or type_str in self._struct_sha1_map`、
+            # HandlesTypeMerge 的 Name/Attribute 分支、DeclarationGenerator 的
+            # `attr_name in struct_names` 同一条规则源）：
+            # _struct_sha1_map / class_sha1_map 已登记该名为**类**时，即便平坦符号表
+            # 条目是**同名枚举成员**（如 ast/base.vp 的 `Constant: t.State` 与
+            # ast/exprs.vp 的 `class Constant` 同名；谁后插入谁占住裸名），也必须建成
+            # 结构体。否则此处返回 i32 ⇒ 上游 PtrCount=1 叠加后变成 i32*，
+            # 与调用点实参 %"<sha1>.Constant"* 分裂（现场：constant_get_str_val 的
+            # 形参 i32*）。类型注解语境下枚举**成员**从不是类型，判据只能是"是否有类定义"。
+            _known_class_name: bool = (
+                clean_name in getattr(self, '_struct_sha1_map', {})
+                or clean_name in getattr(self, 'class_sha1_map', {}))
             if Entry and Entry.IsTypedef:
                 resolved_str: str = self._resolve_typedef(clean_name)
                 if resolved_str != clean_name:
@@ -499,7 +512,8 @@ class BaseGenMixin:
                 # 需要继续到下方正常结构体创建路径，创建 opaque 结构体。
                 # 这对自引用 REnum（如 LLVMType 包含 LLVMType*）至关重要：
                 # _parse_llvm_type 先通过此路径创建 opaque 结构体，_TryLoadStructFromStub 再 set_body。
-            elif Entry and Entry.IsEnum and clean_name not in self.class_methods:
+            elif (Entry and Entry.IsEnum and clean_name not in self.class_methods
+                  and not _known_class_name):
                 # CEnum 存储宽度 = 最宽成员类型（登记在 Entry.enum_width；未登记
                 # → 默认 i32）。此前此处恒 i32，与同文件 _enum_int_type 的常量/
                 # 注解宽度分裂（宽成员枚举的类型与常量不同宽）。
@@ -516,7 +530,7 @@ class BaseGenMixin:
                 return ir.PointerType(ir.IntType(8))
             if Entry and Entry.IsVariable and not _is_class_name:
                 return ir.PointerType(ir.IntType(8))
-            if Entry and Entry.BaseType:
+            if Entry and Entry.BaseType and not _known_class_name:
                 if isinstance(Entry.BaseType, type) and issubclass(Entry.BaseType, _t.CEnum):
                     return self._enum_int_type(clean_name, Entry)
                 if Entry.BaseType is _t.CEnum: