rust-lang/trait-system-refactor-initiative

The Rustc Trait System Refactor Initiative

stars

commits

Sep 2, 2026

updated

README

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=debug to get useful proof trees for it.

Contributors

lcnr

13 commits

rust-lang-owner

1 commits

Similar repos

rust-lang/chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

2,013

same org

rust-lang/types-team

Home of the "types team", affiliated with the compiler and lang teams.

same org

rust-lang/goals

Rust Project Goals tracker

173

same org

rust-lang/rust-project-goals

Rust Project Goals tracker

173

same org

rust-lang/rust-analyzer

A Rust compiler front-end for IDEs

16,831

same org

rust-lang/rustc_public

Define compiler intermediate representation usable by external tools

125

same org

rust-lang/wg-allocators

Home of the Allocators working group: Paving a path for a standard set of allocator traits to be…

252

same org

rust-lang/rust

Empowering everyone to build reliable and efficient software.

117,996

same org

README

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=debug to get useful proof trees for it.