Refactorings and fixes to erased definition handling#23404

odersky merged 3 commits intoscala:mainscala/scala3:mainfrom

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