Skip to content

Changes around reaches and uses#23584

Merged
odersky merged 9 commits intoscala:mainfrom
dotty-staging:change-reaches
Aug 10, 2025
Merged

Changes around reaches and uses#23584
odersky merged 9 commits intoscala:mainfrom
dotty-staging:change-reaches

Commits

Commits on Aug 7, 2025