fn push_marker_impl( cx: &ExtCtxt<'_>, span: Span, ident: Ident, generics: &Generics, trait_name: Symbol, trait_args: Vec<GenericArg>, push: &mut dyn FnMut(Annotatable), )