Skip to content

Fix typo leading to incorrect unreachable case warning#16528

Merged
smarter merged 1 commit intoscala:mainfrom
dotty-staging:fix-isSubspace
Dec 15, 2022

Commits

Commits on Dec 15, 2022