Repository navigation

Make @unboxed apply to a whole variant only - #9040

Merged

cknitt merged 2 commits into

remove-per-constructor-unboxed

Oct 25, 2026

Merged

Make @unboxed apply to a whole variant only#9040
cknitt merged 2 commits into
masterfrom
remove-per-constructor-unboxed

Commits on Oct 25, 2026
- Make @unboxed apply to a whole variant only
  
  cknitt
  and
  claude
  committed
  cf19d26
- Name the unboxed variant correctly in the coercion error
  
  cknitt
  and
  claude
  committed
  6d9792a