承上一笔(裸名 void = t.CVoid 别名,仅 `void*` 与 `typedef 不透明结构体 = void` 可用): - ExprGenBase.coerce_to_type 顶部:void 值被 coerce 到**非 void** 目标(赋值 / 传参 / 返回 / 二元运算对齐)直接 fatal_error(TypeError),不再按 LLVM void 硬拼出非法 IR ("load void" / "bitcast ... to void");void → void 属无值传递,放行。 - AssignGenMixin.translate_annassign:注解解析结果为 void 时禁止声明该变量 (否则会按 LLVM void 建槽)。