{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"Ok(InferOk"}]}
                Ok(InferOk { value, obligations }) if self.next_trait_solver() => {
            match res {
                    let ocx = ObligationCtxt::new(self);