FIX: for rust version <= 1.79

tsionyx · Dec 1, 2024 · 632e92a · 632e92a
1 parent c63fb09
commit 632e92a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/connective/properties.rs b/src/connective/properties.rs
@@ -146,11 +146,11 @@ impl<const ARITY: usize, T: BoolFnExt<ARITY>> UpcastFrom<T> for dyn BoolFnExt<AR
 ///
 /// More of it: <https://en.wikipedia.org/wiki/Functional_completeness#Characterization_of_functional_completeness>.
 pub fn is_complete<const ARITY: usize>(functions: &[&dyn BoolFnExt<ARITY>]) -> bool {
-    functions.iter().any(|f| !f.is_falsity_preserving())
-        && functions.iter().any(|f| !f.is_truth_preserving())
-        && functions.iter().any(|f| !f.is_monotonic())
-        && functions.iter().any(|f| !f.is_affine())
-        && functions.iter().any(|f| !f.is_self_dual())
+    functions.iter().any(|&f| !f.is_falsity_preserving())
+        && functions.iter().any(|&f| !f.is_truth_preserving())
+        && functions.iter().any(|&f| !f.is_monotonic())
+        && functions.iter().any(|&f| !f.is_affine())
+        && functions.iter().any(|&f| !f.is_self_dual())
 }
 
 /// Tells whether the system of functions is functionally complete