Summary

In the next 6 months we plan to extend the next-generation trait solver as follows:

• stabilize the use of the next-generation trait solver in coherence checking
• use the new implementation in rustdoc and lints where applicable
• share the solver with rust-analyser
• successfully bootstrap the compiler when exclusively using the new implementation and run crater

Tasks and status

• Discussion and moral support (types )
• Stabilize next-generation solver in coherence
  • Prototype implementation (@lcnr, @compiler-errors)
  • Standard reviews (types )
  • Resolve hang with complex auto-trait cycles
  • Stabilization PR merged (types )
  • Address performance impacton nalgebra
  • Stabilization decision (types )
• Support next-generation solver in rust-analyzer
  • Implementation (library side) (@compiler-errors)
  • Implementation (rust-analyzer side) ()
  • Standard reviews (types )
  • Standard reviews (rust-analyzer )