Improve invariant checks for erased terms#12095

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:improve-erased-terms-erasuredotty-staging/dotty:improve-erased-terms-erasureCopy head branch name to clipboard