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