Repository navigation

Treat an empty record literal with mutable fields as expansive - #9152

Merged

cknitt merged 1 commit into

fix-empty-record-generalize

Oct 31, 2026

Merged

Treat an empty record literal with mutable fields as expansive#9152
cknitt merged 1 commit into
masterfrom
fix-empty-record-generalize

Commits on Oct 31, 2026
- Treat an empty record literal with mutable fields as expansive
  
  cknitt
  and
  claude
  committed
  d0537fc