Module delegate 

Traits

SolverDelegate

SolverDelegate is one of the two traits in the rustc_type_ir shared abstraction layer between rustc and rust-analyzer abstracting over the InferCtxt, which had to be split due to coherence reasons: