Fix new clippy errors.

sybila · Apr 28, 2021 · 48db2d3 · 48db2d3
1 parent a1fa391
commit 48db2d3
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/bdt/_impl_attribute.rs b/src/bdt/_impl_attribute.rs
@@ -33,7 +33,7 @@ impl Attribute {
                 if my_ctx.regulator == their_ctx.regulator && my_ctx.target == their_ctx.target {
                     if my_ctx.context.len() > their_ctx.context.len() {
                         for v in &their_ctx.context {
-                            if my_ctx.context.iter().find(|it| *it == v).is_none() {
+                            if !my_ctx.context.iter().any(|it| it == v) {
                                 return false;
                             }
                         }

diff --git a/src/scc/algo_stability_analysis/_impl_stability_vector.rs b/src/scc/algo_stability_analysis/_impl_stability_vector.rs
@@ -106,7 +106,7 @@ impl StabilityVector {
     ///
     /// If the value is already present, current vector is only copied.
     pub fn add(&self, stability: Stability) -> StabilityVector {
-        self.clone().apply(|out| match stability {
+        (*self).apply(|out| match stability {
             Stability::True => out.has_true = true,
             Stability::False => out.has_false = true,
             Stability::Unstable => out.has_unstable = true,
@@ -117,7 +117,7 @@ impl StabilityVector {
         !(self.has_unstable || self.has_false || self.has_true)
     }
 
-    pub fn to_json(&self) -> JsonValue {
+    pub fn export_json(&self) -> JsonValue {
         JsonValue::new_array().apply(|array| {
             if self.has_true {
                 array.push("true").unwrap();

diff --git a/src/scc/algo_stability_analysis/_impl_variable_stability.rs b/src/scc/algo_stability_analysis/_impl_variable_stability.rs
@@ -95,7 +95,7 @@ impl VariableStability {
             for (vector, colors) in self.to_vec() {
                 array
                     .push(object! {
-                        "vector": vector.to_json(),
+                        "vector": vector.export_json(),
                         "colors": colors.approx_cardinality(),
                     })
                     .unwrap();