{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"cx.tcx,"}]}
            cx.tcx,
        let obligation = Obligation::new(
            ObligationCause::dummy_with_span(cx.body.span),