下一代 trait 求解器在 nightly 默认启用

技术要点

Rust 官方博客于 2026-08-21 发文宣布，经过近 4 年的活跃开发，下一代 trait 求解器已接近稳定，当前已在 nightly 上默认启用，以暴露剩余问题，并计划在未来几个月内稳定。这是 Rust 编译器自初始发布以来最大的单次变更，完全替换了证明 where-clauses、规范化关联类型以及更多内部行为的方式。

就已知成果而言，这次变更已修复 GitHub 上超过 200 个 issue，并对编译时间产生显著影响。移除旧实现将解锁若干特性：稳定 Type Alias Impl Trait（TAIT）与 Return Type Notation（RTN），支持新增隐式默认 trait 上界（如 Move 和 Forget），并修复剩余的类型系统不安全问题。

变更主要涉及三个方面：

• impl Trait 处理：返回位置 impl Trait（RPIT）、不稳定的 TAIT 与 RTN 在类型系统中的处理方式几乎完全改变，修复了大量 bug 与边界情况，行为整体更一致。
• 高阶类型中的关联类型：处理引用绑定变量的关联类型（例如来自 for 'a 绑定器的生命周期）的方式改变，移除了 bevy 与 minijinja 等 crate 中错误的类型推断。
• 编译时性能：与 jana 合作推进，针对此前二次方甚至指数级更慢的情况做了大量优化，主要贡献者包括 Nick Nethercote、jana、Rémy Rakic 与 mira。

原理与背景

这次重工作的核心动机，是旧实现在类型系统上存在诸多局限，需要被整体替换。移除旧实现是解锁上述特性的前提——只有去掉旧代码，才能稳定 TAIT 与 RTN、加入新的隐式默认上界，并清理剩余的类型系统不安全问题。

对于 impl Trait，实现变更对 RPIT 影响不大，因为类型检查方法体时已对来自方法签名的 impl Trait 做了特殊处理，观察旧行为的唯一方式是通过递归函数调用。对于高阶类型中的关联类型，这是影响最大的变更：多数用户不会直接遇到此类类型，但广泛使用的 crate 会用到，因此改动会波及现有代码。

编译时性能是重点投入方向。此前存在大量二次方甚至指数级更慢的案例，最近几周主要精力都花在提升性能上。在 top 20,000 个 crate 的对比中，几乎所有测试的 crate 在两种实现下性能基本一致，改进主要集中在负向离群项上。长期来看，作者预期几乎所有 crate 都会受益，部分 trait 密集的 crate 收益尤其明显——例如 datafusion crate 现在编译速度快了 8 倍以上，而一个用 Rust 类型系统实现的 Chess 在旧实现下会挂死，新实现下只需一分钟。

落地建议

在 nightly 上开发时，可能无意中依赖仅由新求解器支持的行为。这是一次非常大的变更，会导致非平凡的破坏性变化，其中多数是类型推断的改进或 undesirable 行为的移除，因此测试现有项目与库十分必要。

建议做法如下：

• 使用 rustup update nightly 更新到最新 nightly，用它测试现有项目与库，遇到破坏、编译时性能回归或不良诊断时及时反馈。
• 由于错误信息尚未花太多时间打磨，建议也用该 nightly 进行开发，以发现不良诊断与其他错误处理相关的 bug。
• 若需临时禁用下一代 trait 求解器，可向 rustc 传递 -Znext-solver=coherence，或设置环境变量 RUSTFLAGS=-Znext-solver=coherence，或在项目的 .cargo/config.toml 中写入 [ build ] rustflags = [ -Znext-solver=coherence ]。
• 反馈问题时，可先查看已固定的 issue 列表，确认受影响的 crate 是否已被记录，若未列出再提交新 issue。