Only allow erased parameters in erased definitions#19686

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:desallow-non-erased-params-in-erased-defsdotty-staging/dotty:desallow-non-erased-params-in-erased-defsCopy head branch name to clipboard