Clippy

ProvableHQ · Jul 3, 2024 · 72d09ff · 72d09ff
1 parent 6404d22
commit 72d09ff
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/compiler/passes/src/type_checking/check_program.rs b/compiler/passes/src/type_checking/check_program.rs
@@ -154,10 +154,8 @@ impl<'a, N: Network> ProgramVisitor<'a> for TypeChecker<'a, N> {
             check_has_field(sym::owner, Type::Address);
         }
         // For structs, check that there is at least one member.
-        else {
-            if input.members.is_empty() {
-                self.emit_err(TypeCheckerError::empty_struct(input.span()));
-            }
+        else if input.members.is_empty() {
+            self.emit_err(TypeCheckerError::empty_struct(input.span()));
         }
 
         if !(input.is_record && self.scope_state.is_stub) {