Skip to content

Remove unnecessary guard in TreeMap#18368

Merged
odersky merged 1 commit intoscala:mainfrom
dotty-staging:remove-unnecessary-guard-in-TreeMap
Aug 9, 2023
Merged

Remove unnecessary guard in TreeMap#18368
odersky merged 1 commit intoscala:mainfrom
dotty-staging:remove-unnecessary-guard-in-TreeMap

Commits

Commits on Aug 9, 2023