Ha pasado más de un año desde El anuncio de los tipos de equipo.un subcomponente del lenguaje Óxido y su compilador. El trabajo realizado para estabilizar el uso del solucionador de rasgos de última generación en la comprobación de consistencia ha revelado pequeñas regresiones de comportamiento y fallos que han provocado retrasos. Pero esto se está solucionando ya que la biblioteca estándar está en la fase de compilación. anuncio El equipo de desarrollo de Rust. Sin embargo, hay una larga lista de problemas menores y diferencias de comportamiento con respecto a la implementación existente. También hay problemas de diseño pendientes que deberán resolverse antes de que se estabilice esta nueva implementación. El objetivo es utilizar el verificador de rasgos de próxima generación en todas partes de forma predeterminada. Como recordatorio, un rasgo describe una característica que tiene un tipo particular y puede compartirse con otros tipos, para el beneficio del compilador de Rust.

El equipo de tipos, que se anunció en enero de 2023, se centra en las partes del lenguaje y el compilador de Rust que involucran el sistema de tipos, incluida la verificación de tipos, la resolución de rasgos y la verificación de préstamos. Los objetivos son hacer que el sistema de tipos sea saludable, rápido, consistente y extensible. El equipo de desarrollo de Rust también anunció que han estabilizado async-fn en rasgos y return-position impl Trait en rasgos de Rust 1.75.

Correcciones para problemas antiguos

Se han realizado mejoras en la forma en que se representan los generadores y las funciones asincrónicas en el sistema de tipos. El diseño del último solucionador de rasgos ha puesto de relieve problemas y desafíos de compatibilidad futuros con la implementación de alias de tipos utilizando el solucionador de rasgos antiguo. Se está trabajando para rediseñar el diseño y la implementación.

También se solucionaron muchos problemas de larga data, el más notable fue la falta de solidez de la verificación de tipos de las implementaciones de rasgos. Este problema sutil llevó al equipo a aceptar métodos relativos a firmas de funciones. Mientras tanto, el equipo está categorizando los problemas pendientes restantes y los está integrando en el plan a largo plazo.