TermiNexus 79d1c86982 fix(gen): return 本帧存储改为声明感知 fail-fast（A2 方案 A） ...

A2 原本整体移除定义端 return <本帧地址> 的 fail-fast，导致无 @life(ret(...))
声明的函数返回本帧存储时静默通过（调用点只拿到 LIFE_UNKNOWN，悬垂一路无声）。
现改为按被调者自己的 ret 声明判定：
- ret(frame) / ret(borrows=<该形参>) → 放行；
- ret(heap|static|borrows=none) → 报错（声明与返回值矛盾）；
- 无声明 → 报错（提示补 @life(ret(frame)) 或 ret(borrows=<param>)）。
落点：AssignGenMixin.check_return_frame_decl（判据复用 life_of_expr，target_ty 传
返回类型，与移除前的口径一致）；ret_kind 由 StructGenMixin.get_ret_kind_by_func
反查 EscFuncTable → EscDirTable（顶层函数/方法/嵌套 def 一次覆盖，无需猜类名），
当前 FunctionDef 取 StructGenMixin.NllCurFunc。
新检查是旧检查的严格子集 ⇒ 自举无回归。

2026-10-10 09:16:26 +08:00

..

core

fix(gen): return 本帧存储改为声明感知 fail-fast（A2 方案 A）

2026-10-10 09:16:26 +08:00

Phase

fix(gen): P2 失效状态改存独立槽表，不再给 VarEntry 加字段

2026-10-09 11:51:11 +08:00

Projectrans

refactor(build): 构建产物目录去掉 _mlir 后缀（temp/output）

2026-10-07 19:03:02 +08:00

Stub

feat(gen): 落地 @life(ret(...)) 返回值生命期契约（A2）

2026-10-09 22:58:33 +08:00

__init__.vp

refactor: 去 t.CPtr(&a) 冗余包装（R15）

2026-10-05 17:55:52 +08:00