fn trait_name_to_attribute_name(trait_name: &str) -> &'static str