Repository navigation

Type a let destructuring a GADT without switch diagnostics - #9081

Merged

cknitt merged 2 commits into

fix-9068-existential-namesfrom

fix-9069-existential-let-context

Oct 29, 2026

Merged

Type a let destructuring a GADT without switch diagnostics#9081
cknitt merged 2 commits into
fix-9068-existential-namesfrom
fix-9069-existential-let-context

Commits on Oct 29, 2026
- Type a let destructuring a GADT without switch diagnostics
  
  authored and
  cristianoc
  committed
  6612b69
- Records show the changed operation before its consequences
  
  cristianoc
  and
  claude
  committed
  232ccf2