Rust traits in global scope