L'équipe de Rust Types avance sur le solveur de traits de nouvelle génération

L'équipe de types Rust a réalisé des progrès significatifs sur le solveur de traits de nouvelle génération, according to a June 26 blog post.

Work done to stabilize the use of the next-generation trait solver in coherence checking surfaced small behavior regressions and hangs, which caused delays. But the team is close to compiling the standard library and the compiler with the new solver enabled everywhere. They expect a long tail of minor issues and behavioral differences from the existing implementation. There also are open design questions that will need to be resolved prior to stabilizing the new implementation. The goal is to use the next-generation trait solver everywhere by default.

Announced in January 2023, the Rust types team deals with parts of the Rust language and compiler involving the type system including type checking, trait solving, and borrow checking. Goals include working to make the type system sound, fast, consistent, and extensible. Priorities of the types team include making the type system sound, fast, consistent, and extensible. The types team is a subteam of the language and compiler teams.

The Rust types team also reports it has stabilized async-fn dans les traits et la position de retour impl Trait dans les traits de Rust 1.75. Des améliorations ont été apportées à la manière dont les générateurs et les fonctions asynchrones sont représentés dans le système de types. La conception du solveur de traits de nouvelle génération a fait apparaître des problèmes et des défis futurs en matière de compatibilité de l'implémentation d'alias de type utilisant l'ancien solveur de traits. Des travaux sont en cours pour retravailler la conception et l'implémentation.

Plusieurs problèmes de longue date ont été résolus, le plus notable étant le manque de fiabilité de la vérification du type de trait. impls. Ce problème subtil a conduit l'équipe à accepter les méthodes appartenant à la signature de fonction. L'équipe, quant à elle, catégorise les problèmes restants en suspens et les intègre dans une planification à long terme.