Rust's next-generation trait solver

Rust's compiler team has been working on a long-term project to rewrite the trait solver — th [...]