fn inject_impl_of_structural_trait( cx: &mut ExtCtxt<'_>, span: Span, item: &Annotatable, structural_path: Path, push: &mut dyn FnMut(Annotatable))