Fix #12800: Clarify match type reduction error on empty scrutinee#13184

nicolasstucki merged 2 commits intoscala:masterscala/scala3:masterfrom

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