Use probes more aggressively in new solver#124415

Merged

bors merged 3 commits intorust-lang:masterfrom compiler-errors:candidates

Apr 29, 2024

+394-375

Commits on Apr 29, 2024

Make names more accurate
compiler-errors
committed
Actually use probes when needed and stop relying on existing outer probes
compiler-errors
committed
Only register candidate if it is associated w a shallow certainty
compiler-errors
committed