{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"regioncx.annotate(tcx,"}]}
        regioncx.annotate(tcx, &mut err);
        let mut err = infcx.dcx().struct_span_note(def_span, "no external requirements");
        err