Fix #9977: Refine unrelated types criterion#9980

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

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