Fix #9000: Avoid spurious cyclic errors for toplevel matches#9001

smarter merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-toplevel-matchtypes-cyclicdotty-staging/dotty:fix-toplevel-matchtypes-cyclicCopy head branch name to clipboard