Rename `ghost` (formerly `unused`) to `erased`#4074

nicolasstucki merged 2 commits intoscala:masterscala/scala3:masterfrom

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