Advanced type systems can cause bewhildering error messages and Rust’s trait system certainly is no exception! In this paper we present Argus, an IDE extension for interactively debugging Rust traits, and the results of our user study where 25 developers debugged trait errors with and without Argus.
Read in full here: