Fix #4774: Skip TypeVars and skip if level is equal#4775

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#4774dotty-staging/dotty:fix-#4774Copy head branch name to clipboard