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…