From b4258976b10129e2bc5e41f90bdf9eb868a3e1cf Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Thu, 24 Jun 2021 17:49:30 +0200 Subject: [PATCH] PR fixes --- src/gates/gate_tree.rs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/gates/gate_tree.rs b/src/gates/gate_tree.rs index f0fb0414..f99ae076 100644 --- a/src/gates/gate_tree.rs +++ b/src/gates/gate_tree.rs @@ -231,11 +231,9 @@ mod tests { "The tree has too much or too little gates." ); assert!( - gates.iter().all(|g| gates_with_prefix + gates .iter() - .map(|(gg, _)| gg) - .find(|gg| *gg == g) - .is_some()), + .all(|g| gates_with_prefix.iter().map(|(gg, _)| gg).any(|gg| gg == g)), "Some gates are not in the tree." ); assert!(