fix: failing release tests (#485)

Separate crucial logic from debugging assertions. With this change, all tests pass on my machine with `--release`
CQCL · Sep 1, 2023 · d376eee · d376eee
1 parent b1e97db
commit d376eee
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/extension/infer.rs b/src/extension/infer.rs
@@ -209,7 +209,8 @@ impl UnificationContext {
 
     /// Declare that a meta has been solved
     fn add_solution(&mut self, m: Meta, rs: ExtensionSet) {
-        debug_assert!(self.solved.insert(m, rs).is_none());
+        let existing_sol = self.solved.insert(m, rs);
+        debug_assert!(existing_sol.is_none());
     }
 
     /// If a metavariable has been merged, return the new meta, otherwise return