Avoid infinite loop in type variable instantiation#9030

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:widenInferreddotty-staging/dotty:widenInferredCopy head branch name to clipboard