The Rustc Trait System Refactor Initiative is implementing the next-generation
trait solver: -Znext-solver.
When working on the trait solver use RUSTC_LOG=rustc_type_ir::search_graph=debug,rustc_next_trait_solver=debug to get useful proof trees for it.