Skip to content

Make erased capability-safe#23419

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

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

Commits

Commits on Jun 24, 2025

Commits on Jun 25, 2025