[WIP] Handle match types reducing to `ErrorType` in TypeComparer#19961

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

EugeneFlesselle:MatchTypeNoCases-ErrorTypeEugeneFlesselle/dotty:MatchTypeNoCases-ErrorTypeCopy head branch name to clipboard