Skip to content

Replace erased class modifiers with Erased base traits#23447

Open
odersky wants to merge 23 commits intoscala:mainfrom
dotty-staging:change-erased-3
Open

Replace erased class modifiers with Erased base traits#23447
odersky wants to merge 23 commits intoscala:mainfrom
dotty-staging:change-erased-3

Commits

Commits on Jul 14, 2025