2026 是 Rust 编译器的丰收年：新 trait solver、Polonius 与并行前端

📋 概述

Matyáš Racek 认为 2026 对 Rust 编译器而言是特殊的一年，但这并非因为工作量突然变大，而是多个长期投资同时走到了收获阶段。最大的事是下一代 trait solver：这是类型系统很大一部分的重实现，以各种形式做了近十年，修掉一批健全性 bug，并解锁大量长期悬置的功能与修复，包括 async Rust 的大问题与 impl Trait 的各种限制；它同时清掉了一大块技术债，并释放出一批对类型系统有新鲜深入理解的开发者去做新事情。第二件是 Polonius，新的借用检查器实现，同样酝酿多年，能让更多代码通过编译，并（有朝一日）解锁内部引用。作者主攻编译性能，他观察到停滞一两年后突然多点开花：并行前端在 @petrochenkov 主导下接近稳定，这个项目曾长期搁置、设计上几乎没人满意，但确实没有更好替代方案，只能把一堆烦人的问题一个个磨掉；LLVM 23 的性能表现罕见地全面为正，延续了自 LLVM 10 引入 10% 回退、@nikic 写下 Make LLVM fast again 之后逐步扭转的趋势；此外还有大量微优化落地，以及回归管理能力的明显提升。