Hojun-Cho e416885d96 wcc/ww: widen of a module-global tagged ident copies the whole box ...

Widening a global tagged union into a wider tagged slot copied
nothing of the box; treat the global ident as a tagged source and
copy the full box from g(SB) through the nested arm. Both-wrong pair:
cstage spills frame garbage as the box (filed task #44, residual
non-deterministic so the rows assert divergence only). The non-nested
SUBSET-widen shape remains open as task #49 (site comment at the
fall-through). Review item #51.

2026-06-12 09:21:16 +09:00

217 KiB

Raw Blame History

View Raw