Skip to content

Treat RecTypes as potentially uncheckable#14894

Merged
dwijnand merged 1 commit intoscala:mainfrom
dotty-staging:fix-11097
Apr 14, 2022

Commits

Commits on Apr 8, 2022