Argus: Un depurador interactivo para desentrañar errores complejos de Trait en Rust

El poderoso sistema de tipos de Rust es conocido, pero los errores de tipo complejos pueden ser frustrantes para los desarrolladores. Este artículo presenta Argus, un depurador interactivo que visualiza el árbol de inferencia de Trait de Rust en una interfaz gráfica, ayudando a los desarrolladores a comprender errores de Trait complejos paso a paso. Argus ofrece vistas de abajo hacia arriba y de arriba hacia abajo, junto con la expansión interactiva de tipos largos y rutas, mejorando significativamente la eficiencia de localización de errores. Un estudio de usuario mostró una aceleración de 3,3x en la localización de errores de Trait usando Argus. Argus está disponible como una extensión de VSCode y el código fuente es de código abierto.