rarw
The Rustc Trait System Refactor Initiative is implementing the next-generation trait solver: -Znext-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.
RUSTC_LOG=rustc_type_ir::search_graph=debug,rustc_next_trait_solver=debug
版权所有：中国计算机学会技术支持：开源发展技术委员会 京ICP备13000930号-9 京公网安备 11010802032778号
trait-system-refactor-initiative
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=debugto get useful proof trees for it.