Skip to content

Heal stage inconsistent prefixes of type projections#18239

Merged
smarter merged 1 commit intoscala:mainfrom
dotty-staging:fix-17293
Jul 19, 2023
Merged

Heal stage inconsistent prefixes of type projections#18239
smarter merged 1 commit intoscala:mainfrom
dotty-staging:fix-17293

Commits

Commits on Jul 18, 2023