Fix #6199: Use a skolemized prefix in asSeenFrom when needed#6454

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/type-member-inf-7dotty-staging/dotty:fix/type-member-inf-7Copy head branch name to clipboard