Rename `InferCtxtLike` to `SolverDelegate`, use a newtype to define an impl in `rustc_next_trait_solver`#126498

Closed

compiler-errors wants to merge 3 commits intorust-lang:masterfrom

compiler-errors:delegate

Commits on Jun 14, 2024

Make Candidate generic over interner
compiler-errors
committed
Make proof tree probing generic
compiler-errors
committed
Rename InferCtxtLike to SolverDelegate, use a newtype to define an impl in rustc_next_trait_solver
compiler-errors
committed