TermiNexus
fa6b3c2e64
fix(tpc): 「构造物化」豁免覆盖 REnum 变体构造（*槽 = <boxed 变体> 被误拦）
a 编译器缺陷：规则③（非基本类型值 ↔ 指针隐式转换一律禁止——含 T* → T）
的唯一例外是「构造物化」，但 _CtorCallStructType 只按 callee 名在 Gen.structs
里取聚合类型：对 REnum 变体构造 Qual.Variant(...)（如
llvmlite.LLVMType.Struct(fields, fcount, name)）取到的是**变体短名 Struct**，
structs 中不存在 ⇒ 恒 miss，于是 `*existing.Ty = <boxed 变体>` 被当作指针→值
隐式转换拦下。报文自己写着「构造物化除外」，实现却没覆盖这一形态。
修法：按 HandlesExprCall._HandleCallLlvm 的分派顺序补齐判据 —— 先按 callee 名
判类构造（Point()），miss 后再按**限定名 Qual**（REnum 类，如 LLVMType）取一次
聚合类型。REnum 变体构造返回 boxed 指针（_allocaEntry(RenumType)），其 pointee
恰为 structs[Qual]，与 target_type 比对通过即放行，随后走既有的
「load + 整对象 store」物化路径（与 c.DerefAs 的整对象拷贝分支等价）。
现场：非基本类型的值/指针隐式转换已禁止（构造物化除外）：不能把指针类型
%"50741ad4b4b0934d.LLVMType"* 隐式转为值类型 %"50741ad4b4b0934d.LLVMType"
（ClassGenDef.vp:117）。
2026-09-28 23:21:27 +08:00
..
2026-07-18 19:25:40 +08:00
2026-09-28 22:44:20 +08:00
2026-09-17 14:52:37 +08:00
2026-09-28 15:10:39 +08:00
2026-09-28 22:20:09 +08:00
2026-09-26 19:27:22 +08:00
2026-09-28 23:21:27 +08:00
2026-09-26 19:27:22 +08:00
2026-09-26 19:27:22 +08:00
2026-07-18 19:25:40 +08:00