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