"The Rust compiler provides an ... for these traits"