mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-08 09:38:26 +03:00
f92d49b7fe
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 #124415