Skip to content

[NFC] Remove outdated mentions of nominal types#8142

Merged
tlively merged 1 commit into
mainfrom
no-nominal
Dec 18, 2025
Merged

[NFC] Remove outdated mentions of nominal types#8142
tlively merged 1 commit into
mainfrom
no-nominal

Commits

Commits on Dec 17, 2025