Rust の次世代トレイトソルバー、ナイトリー版で有効化・4 年の開発完了目前

要約

Rust チームは 4 年の開発を経た次世代トレイトソルバーをナイトリー版で既定有効化し、数ヶ月以内の安定化を予定した。このコンパイラ内部の大規模リプレイスにより、where 句証明・associated type の正規化・impl Trait 処理が一新され、GitHub で確認されているだけで 200 件以上の既知バグが修正される。一部の型推論で従来の実装の誤りが削除されるため、既存コード (Bevy・minijinja など) で意図した改善による破壊的変更が生じる可能性がある。コンパイル時間は大多数のクレートで同等だが、Chess 実装では無限ループから 1 分に短縮、データ分析向け datafusion は 8 倍以上高速化した。テストは rustup update nightly で最新版に更新して行い、問題発生時は -Znext-solver=coherence で従来実装に切り替え可能。