Avoid useless warnings about priority change in implicit search#20480

odersky wants to merge 4 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-priority-warningdotty-staging/dotty:fix-priority-warningCopy head branch name to clipboard