[WIP] Match Type with no cases should not reduce to `ErrorType`#19953

EugeneFlesselle wants to merge 4 commits intoscala:mainscala/scala3:mainfrom

EugeneFlesselle:MatchTypeNoCasesEugeneFlesselle/dotty:MatchTypeNoCasesCopy head branch name to clipboard