diff --git a/lib/core/Handles/HandlesExprCall.py b/lib/core/Handles/HandlesExprCall.py
index e4fe8a3..b6cc9bb 100644
--- a/lib/core/Handles/HandlesExprCall.py
+++ b/lib/core/Handles/HandlesExprCall.py
@@ -910,6 +910,26 @@ class ExprCallHandle(BaseHandle):
                                 result = self._HandleREnumConstructLlvm(Node, RenumClassName, FuncAttr, TagValue)
                                 if result is not None:
                                     return result
+                # 跨模块 REnum 变体构造（**点号类名**写法）：`mod.ClassName.Variant(args)`
+                # 现场：`llvmlite.LLVMType.Struct(fields, fcount, name)` —— Node.func.value
+                # 是 Attribute（llvmlite.LLVMType）而不是 Name，上一条判据（L903 的
+                # isinstance(Node.func.value, ast.Name)）漏掉 ⇒ 落到"模块函数 Struct"路径：
+                # 返回类型被当成普通函数返回值（实为 boxed 变体构造指针），且实参少一个
+                # pool（arity 也不对）。此处与裸名写法同口径补齐，覆盖点号写法。
+                if isinstance(Node.func.value, ast.Attribute):
+                    _rc_attr: str = getattr(Node.func.value, 'attr', '') or ''
+                    _rc_sym: Any = None
+                    for _rc_key in (f"{ModulePath}.{_rc_attr}", _rc_attr):
+                        if _rc_key and self.Trans.SymbolTable.has(_rc_key):
+                            _rc_sym = self.Trans.SymbolTable[_rc_key]
+                            break
+                    if _rc_sym is not None and getattr(_rc_sym, 'IsRenum', False):
+                        _rc_vars: Any = getattr(_rc_sym, 'RenumVariants', None)
+                        if _rc_vars and FuncAttr in _rc_vars:
+                            _rc_tag: int = _rc_vars.index(FuncAttr)
+                            result = self._HandleREnumConstructLlvm(Node, _rc_attr, FuncAttr, _rc_tag)
+                            if result is not None:
+                                return result
                 if self.Trans.SymbolTable.has(FuncAttr):
                     SymInfo = self.Trans.SymbolTable[FuncAttr]
                     if SymInfo.IsStruct: