Change `erased` syntax#6278

odersky merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-eraseddotty-staging/dotty:change-erasedCopy head branch name to clipboard