TermiNexus
1724874967
- NewLifetimeAsyncTest：协程体里的 new heap slife 必须报 LifetimeError（fail-fast 的回归覆盖），已挂进 ESCAPE_PROJECTS / NEGATIVE_PROJECTS / NEGATIVE_PROJECT_NAMES 与 README。 - NewLifetimeTest / NewLifetimeFreeTest 的 main 改为 export def main() -> int，并删掉多余的 t/c 导入（与 FuncTest / FormatStringTest / NewTest 一致）。
28 lines
968 B
Plaintext
28 lines
968 B
Plaintext
from stdint import *
|
||
|
||
|
||
# =============================================================================
|
||
# 负向工程（**应当编译失败**，对照工程：NewLifetimeTest）
|
||
#
|
||
# 协程体（async）里的 `new heap slife` 必须被拒：AsyncGenMixin 的状态机会把 body 拆成多个
|
||
# state 块并多次转译，编译器无法确定释放点 → CallGenCtor._translate_new_expr 在此 fail-fast
|
||
# （LifetimeError，提示改用 `new heap hlife` 或把分配挪进普通函数）。
|
||
#
|
||
# 说明见 Debugger/ownership-and-new.md §4.2 的「async 的收口」。
|
||
# `new stack`（帧内 alloca，本来就无需释放）与 `new … hlife`（自行管理）不受这条约束影响。
|
||
# =============================================================================
|
||
|
||
|
||
novirtual class Point:
|
||
x: int
|
||
y: int
|
||
|
||
|
||
async def Bad() -> int:
|
||
p: Point* = new heap slife Point(1, 2) # ← 必须被拒
|
||
return p.x
|
||
|
||
|
||
export def main() -> int:
|
||
return 0
|