Rust编译器的新一代trait求解器经过近4年开发，即将稳定，已在nightly默认启用。它彻底替换旧实现，修复超200个问题，提升类型推断一致性，并解锁TAIT、RTN等特性。编译性能多数持平，部分crate显著加速（如datafusion快8倍）。用户需测试最新nightly，报告回归或诊断问题，可通过`-Znext-solver=coherence`禁用。

lcnr将成为types团队的新联合领导，采用滚动领导模式，贡献于Rust中的trait求解器的发展，达到重要里程碑，稳定了新的求解器。