Avoid useless warnings about priority change in implicit search#20480

Closed

odersky wants to merge 4 commits intoscala:mainfrom

dotty-staging:fix-priority-warning

Commits on May 27, 2024

Commits on May 28, 2024

Only return the warning if the other candidate succeeds tryImplicit
natsukagami
committed