When simplifying match types, ensure fully defined before reducing#11980

odersky merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-11977dotty-staging/dotty:fix-11977Copy head branch name to clipboard