{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"Ok(ok)"}]}
                            Ok(ok) => return Ok(self.register_infer_ok_obligations(ok)),
                            // We have a LUB of prev_ty and new_ty, just return it.
                            Err(_) => {