Skip to content

Delete the value carry: every value position refuses at the value (let/stmt/if/arm/field), no navigation relabel - #12299

Merged
gunbai-bot[bot] merged 68 commits into
mainfrom
session/deep-bear-733-fold
Sep 26, 2026
Merged

Delete the value carry: every value position refuses at the value (let/stmt/if/arm/field), no navigation relabel#12299
gunbai-bot[bot] merged 68 commits into
mainfrom
session/deep-bear-733-fold

value_read_refusal: one warm-shared front-end run over all seven spec…

075de06
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar