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