Remove use of `erased` in library#11845

liufengyun merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:remove-use-of-erased-from-librarydotty-staging/dotty:remove-use-of-erased-from-libraryCopy head branch name to clipboard