Auto merge of rust-lang#124529 - compiler-errors:select, r=lcnr

Rewrite select (in the new solver) to use a `ProofTreeVisitor`

We can use a proof tree visitor rather than collecting and recomputing all the nested goals ourselves.

Based on rust-lang#124415

Author: bors