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