Function notable_traits_decl 

fn notable_traits_decl(ty: &Type, cx: &Context<'_>) -> (String, String)