Fix #2142: Skolemize arguments of dependent methods if necessary#2215

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

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