{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"attr_span,"}]}
            attr_span,
        self.dcx().emit_err(errors::CoverageAttributeNotAllowed {
            not_fn_impl_mod,