Prune impossible types from exhaustivity checker#3574

liufengyun merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:path-variant-defnsdotty-staging/dotty:path-variant-defnsCopy head branch name to clipboard