diff --git a/App/lib/core/Gen/Func/FuncGenMixin.vp b/App/lib/core/Gen/Func/FuncGenMixin.vp
index 344125f..7f161f3 100644
--- a/App/lib/core/Gen/Func/FuncGenMixin.vp
+++ b/App/lib/core/Gen/Func/FuncGenMixin.vp
@@ -1034,19 +1034,36 @@ novirtual class FuncGenMixin(CallGenBase.CallGenBase):
                     mlirlite.build_store(func_builder, param_ref, arg_alloca)
                     self.Gen.VarGen.define_var(trans.SymTab, param_names + pi3 * 32, arg_alloca)
 
-        # 11. Translate the body expression, coerce to i32 and return
+        # 11. Translate the body expression and return it.
+        # 返回类型：提升函数创建时（第 4 步）只能先写 i32——那时 body 还没翻译、拿不到类型。
+        # 这里按 body 的**实际类型**修正 `func.RetTy`（mlirlite 公开字段；函数体只在本步发一条 ret，
+        # 期间没有任何人读 RetTy；调用点取签名时读到的已是修正后的类型）。
+        # 修的是两类 i32 **无法表达**的情形（与嵌套 def 那条缺口同类）：
+        #   · 指针 → 原路径 coerce_to_type(ptr → i32) 直接 CastError（pointer→integer 禁止）；
+        #   · 浮点 → 原路径 fptosi 成 i32（静默有损）。
+        # 整数/其它**保持既有 i32 语义**（与"无注解的嵌套 def 保持 i32"同口径，避免改动既有行为）。
         body_val: mlirlite.Value* = self.Gen.ExprGen.translate_value(func_builder, pool, mod, lam.body, None, 0, trans)
-        if body_val is not None and body_val.Ty is not None:
-            if self.Gen.ExprGenBase.get_llvm_type_bits(body_val.Ty) == 32 and self.Gen.ExprGenBase.is_ptr_type(body_val.Ty) == 0: mlirlite.build_ret(func_builder, body_val)
-            else:
-                ret_val: mlirlite.Value* = self.Gen.ExprGenBase.coerce_to_type(func_builder, body_val, i32_ty, lam.body)
-                if ret_val is not None: mlirlite.build_ret(func_builder, ret_val)
-                else:
-                    # fail-fast: lambda body coercion failed; do not silently return 0
-                    self.Gen.TypeGenErr.fatal_error(lam.body, "lambda body expression translation failed", "TypeError")
-        else:
+        if body_val is None or body_val.Ty is None:
             # fail-fast: lambda body translation failed; do not silently return 0
             self.Gen.TypeGenErr.fatal_error(lam.body, "lambda body expression translation failed", "TypeError")
+        else:
+            lam_ret_fixed: int = 0
+            if self.Gen.ExprGenBase.is_ptr_type(body_val.Ty) != 0:
+                func.RetTy = body_val.Ty
+                mlirlite.build_ret(func_builder, body_val)
+                lam_ret_fixed = 1
+            elif self.Gen.ExprGenBase.get_llvm_float_bits(body_val.Ty) != 0:
+                func.RetTy = body_val.Ty
+                mlirlite.build_ret(func_builder, body_val)
+                lam_ret_fixed = 1
+            if lam_ret_fixed == 0:
+                if self.Gen.ExprGenBase.get_llvm_type_bits(body_val.Ty) == 32 and self.Gen.ExprGenBase.is_ptr_type(body_val.Ty) == 0: mlirlite.build_ret(func_builder, body_val)
+                else:
+                    ret_val: mlirlite.Value* = self.Gen.ExprGenBase.coerce_to_type(func_builder, body_val, i32_ty, lam.body)
+                    if ret_val is not None: mlirlite.build_ret(func_builder, ret_val)
+                    else:
+                        # fail-fast: lambda body coercion failed; do not silently return 0
+                        self.Gen.TypeGenErr.fatal_error(lam.body, "lambda body expression translation failed", "TypeError")
 
         # 12. Leave the lambda scope and restore the parent state
         self.Gen.VarGen.exit_scope(trans.SymTab)