2026 semble être une année particulièrement riche pour le compilateur Rust. Plusieurs initiatives de longue haleine atteignent leurs dernières étapes en même temps, si bien que la quantité de travail n'a pas tellement changé, c'est surtout le moment où les résultats se concrétisent qui diffère. L'auteur met en avant celles qui lui semblent les plus marquantes.
La plus importante est le solveur de traits de nouvelle génération, une réimplémentation d'une grande partie du système de types, en chantier depuis près de dix ans. Il corrige plusieurs bogues de solidité et débloque de nombreuses fonctionnalités ainsi que des problèmes anciens. Il résorbe également une dette technique majeure et libère les développeurs qui maîtrisent en profondeur le système de types pour travailler sur de nouveaux sujets, notamment des solutions aux points de friction d'async Rust et aux limites de impl Trait.
Polonius, un nouveau vérificateur d'emprunts en gestation depuis longtemps, constitue une autre étape majeure. Il permet de compiler davantage de code et débloque des fonctionnalités connexes, dont, espérons-le un jour, les références internes. Son impact sur le compilateur est plus limité que celui du nouveau solveur, mais reste significatif.
Les performances du compilateur sont le principal centre d'intérêt de l'auteur, et les progrès dans ce domaine ont repris après une période de stagnation. Le frontend parallèle, un effort longtemps retardé à l'historique de conception complexe, est proche de sa stabilisation après des années de travail sur des problèmes délicats. LLVM gagne également en rapidité : LLVM 23 a apporté une amélioration positive étonnamment importante, prolongeant une tendance née après que LLVM 10 a introduit une régression majeure et que le développeur principal de LLVM a commencé à suivre les performances de plus près.
Source: Hacker News · Résumé par HeadlinesBriefing