TermiNexus
6d627d67cf
translate_attribute 与 get_attribute_ptr 的 match 末 arm（case _）调 fatal_error 后无 return None → 块未 terminated → 该 arm 被 match 收尾 误判掉出 → br end_bb → merge 可达 → 方法收尾 fail-fast '流程掉出末尾' （返回类型 Value*）。补显式 return None（块设计约定：fatal_error 后也 必须保证块 terminated）。