subtype: generalize over section-declared free types at section close#1002
Merged
subtype: generalize over section-declared free types at section close#1002
Commits
Commits on May 8, 2026
- authored andcommitted
