Skip to content

Make erased capability-safe#23419

Closed
odersky wants to merge 12 commits intoscala:mainfrom
dotty-staging:change-erased-2
Closed

Make `erased` capability-safe#23419
odersky wants to merge 12 commits intoscala:mainfrom
dotty-staging:change-erased-2

Commits

Commits on Jun 27, 2025