Skip to content

Make erased capability-safe#23419

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

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

Commits

Commits on Jun 27, 2025