pub fn trait_impl_ident(trait_name: &str) -> Ident