Skip to content

Make proof tree probing and Candidate/CandidateSource generic over interner#126496

Merged
bors merged 2 commits intorust-lang:masterfrom
compiler-errors:more-generics
Jun 15, 2024
Merged

Make proof tree probing and `Candidate`/`CandidateSource` generic over interner#126496
bors merged 2 commits intorust-lang:masterfrom
compiler-errors:more-generics

Commits

Commits on Jun 14, 2024