![]() 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |
![]() 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 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml | ||
messages.ftl |