driveby turn lambda into ExtensionSet::union

CQCL · Dec 12, 2023 · b8de62f · b8de62f
1 parent 4c4bb87
commit b8de62f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/extension/infer.rs b/src/extension/infer.rs
@@ -727,7 +727,7 @@ impl UnificationContext {
                     Constraint::Plus(_, other_m) => solutions.get(&self.resolve(*other_m)),
                     Constraint::Equal(_) => None,
                 })
-                .fold(ExtensionSet::new(), |a, b| a.union(b));
+                .fold(ExtensionSet::new(), ExtensionSet::union);
 
             for m in cc.iter() {
                 self.add_solution(*m, combined_solution.clone());