clippy

ProvableHQ · Nov 30, 2023 · 7630601 · 7630601
1 parent 0badbd8
commit 7630601
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/compiler/passes/src/code_generation/visit_expressions.rs b/compiler/passes/src/code_generation/visit_expressions.rs
@@ -540,8 +540,8 @@ impl<'a> CodeGenerator<'a> {
                     Some(program) => program,
                     None => {
                         let stub_program = self.program.stubs.get(&program_name);
-                        if stub_program.is_some() {
-                            stub_scope = ProgramScope::from(stub_program.unwrap().clone());
+                        if let Some(stub_program_unwrapped) = stub_program {
+                            stub_scope = ProgramScope::from(stub_program_unwrapped.clone());
                             &stub_scope
                         } else {
                             unreachable!("Type checking guarantees that imported and stub programs are well defined.")

diff --git a/compiler/passes/src/destructuring/destructure_statement.rs b/compiler/passes/src/destructuring/destructure_statement.rs
@@ -173,7 +173,7 @@ impl StatementReconstructor for Destructurer<'_> {
                 let statements = lhs_tuple
                     .elements
                     .into_iter()
-                    .zip_eq(rhs_tuple.elements.into_iter())
+                    .zip_eq(rhs_tuple.elements)
                     .map(|(lhs, rhs)| {
                         // Get the type of the rhs.
                         let type_ = match self.type_table.get(&lhs.id()) {