{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"cx.tcx,"}]}
            cx.tcx,
        ocx.register_obligation(Obligation::new(
            ObligationCause::misc(cx.body.span, cx.def_id()),