Fix #7877: Refine instantiation criterion before implicit search#7907

smarter merged 4 commits intoscala:masterscala/scala3:masterfrom

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