{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"self.infcx.tcx.def_span(self.body.source.def_id()),"}]}
            self.infcx.tcx.def_span(self.body.source.def_id()),
        diag.span_label(
            format!("within this {coroutine_kind:#}"),