Skip to content

Convert the rest of the visitors to use VisitorResult#121576

Merged
bors merged 4 commits into
rust-lang:masterfrom
Jarcho:visitor3
Mar 5, 2024
Merged

Convert the rest of the visitors to use VisitorResult#121576
bors merged 4 commits into
rust-lang:masterfrom
Jarcho:visitor3

Convert `ProofTreeVisitor` to use `VisitorResult`

228eb38
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs