Fixes and tweaks to implicit priority change scheme#21328

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

dotty-staging:given-priority-mixeddotty-staging/dotty:given-priority-mixedCopy head branch name to clipboard