{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"self.register_predicates(infer_ok.obligations);"}]}
        self.register_predicates(infer_ok.obligations);
    pub(super) fn register_infer_ok_obligations<T>(&self, infer_ok: InferOk<'tcx, T>) -> T {
        infer_ok.value