Skip to content

Treat RecTypes as potentially uncheckable#14894

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

Treat RecTypes as potentially uncheckable#14894
dwijnand merged 1 commit intoscala:mainfrom
dotty-staging:fix-11097

Commits

Commits on Apr 8, 2022