A equipe de tipos Rust fez um progresso significativo no solucionador de características de próxima geraçãode acordo com uma postagem de blog de 26 de junho.
O trabalho feito para estabilizar o uso do solucionador de características de próxima geração na verificação de coerência revelou pequenas regressões de comportamento e travamentos, o que causou atrasos. Mas a equipe está perto de compilar a biblioteca padrão e o compilador com o novo solucionador habilitado em todos os lugares. Eles esperam uma longa cauda de pequenos problemas e diferenças comportamentais da implementação existente. Também há questões de design em aberto que precisarão ser resolvidas antes de estabilizar a nova implementação. O objetivo é usar o solucionador de características de próxima geração em todos os lugares por padrão.
Anunciado em janeiro de 2023, o time de tipos Rust lida com partes da linguagem Rust e do compilador envolvendo o sistema de tipos, incluindo verificação de tipos, resolução de traits e verificação de empréstimos. Os objetivos incluem trabalhar para tornar o sistema de tipos sólido, rápido, consistente e extensível. As prioridades do time de tipos incluem tornar o sistema de tipos sólido, rápido, consistente e extensível. O time de tipos é um subtime do time de linguagem e do compilador.
A equipe de tipos Rust também relata que ele se estabilizou async-fn em traços e posição de retorno impl Trait em traits no Rust 1.75. Melhorias foram feitas na forma como geradores e funções assíncronas são representados no sistema de tipos. Projetar o solucionador de traits de próxima geração trouxe à tona problemas e desafios de compatibilidade futuros da implementação de alias de tipo usando o solucionador de traits antigo. O trabalho está sendo feito para retrabalhar o design e a implementação.
Vários problemas antigos e problemáticos foram corrigidos, sendo o mais notável a falta de solidez da verificação de tipo de característica impls. Esse problema sutil fez com que a equipe aceitasse métodos pertinentes à assinatura da função. A equipe, enquanto isso, está categorizando os problemas abertos restantes e integrando-os em um planejamento longo.
