{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"recursion_depth:"}]}
        recursion_depth: usize,
        cause: ObligationCause<'tcx>,
        param_env: ty::ParamEnv<'tcx>,