在nightly上启用新一代trait求解器
内容提要
Rust编译器的新一代trait求解器经过近4年开发，即将稳定，已在nightly默认启用。它彻底替换旧实现，修复超200个问题，提升类型推断一致性，并解锁TAIT、RTN等特性。编译性能多数持平，部分crate显著加速（如datafusion快8倍）。用户需测试最新nightly，报告回归或诊断问题，可通过`-Znext-solver=coherence`禁用。
延伸解读
对现有项目的影响与应对
新求解器默认启用后，部分依赖旧行为的代码可能无法编译，但多数属于类型推断的改进或去除不良行为。建议开发者更新到最新nightly，并测试自己的项目。若遇到问题，可先查看已知问题列表，再决定是否报告或临时禁用新求解器。
性能变化与优化空间
编译性能在多数crate上持平，但部分crate有显著提升，如datafusion编译快8倍。同时，新求解器曾存在性能退化，经过优化已改善，但仍有一些crate编译稍慢。未来仍有优化空间，长期看大多数crate可能受益。
新求解器解锁的未来特性
新求解器是稳定TAIT和RTN等特性的前提，也为添加新的隐式默认trait边界（如Move和Forget）和修复类型系统不健全性铺路。虽然当前主要影响内部实现，但未来这些特性将带来实际开发便利。
Q&A
Rust编译器的新一代trait求解器在nightly上默认启用了吗？
是的，经过近4年开发，新一代trait求解器已在nightly上默认启用，计划在未来几个月内稳定。
新一代trait求解器相比旧实现有哪些主要改进？
它彻底替换了旧的trait求解实现，修复了超过200个GitHub问题，提升了类型推断的一致性，并解锁了TAIT、RTN等特性。
新一代trait求解器对编译性能有什么影响？
大多数crate的编译性能与旧实现持平，但部分crate有显著提升，例如datafusion编译速度快了8倍以上。
如何在nightly上禁用新一代trait求解器？
可以通过传递`-Znext-solver=coherence`给rustc，或设置环境变量`RUSTFLAGS=-Znext-solver=coherence`，或在项目的`.cargo/config.toml`中配置`rustflags = ["-Znext-solver=coherence"]`。
新一代trait求解器对impl Trait的处理有什么变化？
它彻底改变了不透明类型（如RPIT、TAIT和RTN）的处理方式，修复了许多bug和边缘情况，使行为更加一致。
新一代trait求解器在类型推断方面有哪些改进？
它修复了与绑定变量相关的关联类型处理，移除了不正确的类型推断，例如在bevy和minijinja中遇到的问题。
用户如何帮助测试新一代trait求解器？
用户应更新到最新nightly版本（使用`rustup update nightly`），测试自己的项目和库，如果遇到问题，查看固定的GitHub issue并报告新问题。
