{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"Obligation"}]}
        Obligation { cause, param_env, recursion_depth, predicate }
        let predicate = predicate.upcast(tcx);
    }