Arity raising for record types#1114
Draft
konradbausch wants to merge 40 commits intomainfrom
Draft
Commits
Commits on Jan 16, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 19, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 15, 2026
- committed
- committed
- committed
- committed
Commits on Feb 19, 2026
Commits on Feb 22, 2026
- committed