Repository navigation

Keep only the written fields of a record literal in the typed tree - #9149

Merged

cknitt merged 2 commits into

sparse-record-fields

Oct 31, 2026

Merged

Keep only the written fields of a record literal in the typed tree#9149
cknitt merged 2 commits into
masterfrom
sparse-record-fields

Commits on Oct 31, 2026
- Keep only the written fields of a record literal in the typed tree
  
  cknitt
  and
  claude
  committed
  ceaaf61
- Treat omitted mutable fields as allocated in the value restriction
  
  cknitt
  and
  claude
  committed
  9f7babe