{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"ObligationCause::dummy_with_span(cx.body.span),"}]}
            ObligationCause::dummy_with_span(cx.body.span),
            cx.tcx,
            param_env,