compiler: Assert replaced solutions are equal if Some

Author: workingjubilee

compiler/rustc_type_ir/src/search_graph/global_cache.rs

@@ -53,14 +53,21 @@ impl<X: Cx> GlobalCache<X> {
     ) {
         let result = cx.mk_tracked(result, dep_node);
         let entry = self.map.entry(input).or_default();
+        let result_tracked = cx.get_tracked(&result);
         if encountered_overflow {
             let with_overflow = WithOverflow { nested_goals, result };
             let prev = entry.with_overflow.insert(additional_depth, with_overflow);
+            if let Some(prev) = &prev {
+                assert_eq!(cx.get_tracked(&prev.result), result_tracked);
+            }
             if !cx.evaluation_is_concurrent() {
                 assert!(prev.is_none());
             };
         } else {
             let prev = entry.success.replace(Success { additional_depth, nested_goals, result });
+            if let Some(prev) = &prev {
+                assert_eq!(cx.get_tracked(&prev.result), result_tracked);
+            }
             if !cx.evaluation_is_concurrent() {
                 assert!(prev.is_none());
             }