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