Fix infinite loop in Mirror synthesis of unreducible match type#20133

smarter merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:mt-inf-loopdotty-staging/dotty:mt-inf-loopCopy head branch name to clipboard