Skip to content

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

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:select
May 2, 2024

Commits

Commits on May 1, 2024