Move assertion up

akoshelev · Jun 14, 2024 · 0e3bf1a · 0e3bf1a
1 parent a9b346a
commit 0e3bf1a
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/ipa-core/src/protocol/ipa_prf/aggregation/mod.rs b/ipa-core/src/protocol/ipa_prf/aggregation/mod.rs
@@ -243,6 +243,12 @@ where
 {
     // Step used to add trigger values.
     type AdditionStep = ThirtyTwoBitStep;
+    assert!(
+        OV::BITS <= AdditionStep::BITS,
+        "{} not large enough to accommodate the sum of {} bit values",
+        type_name::<AdditionStep>(),
+        OV::BITS,
+    );
 
     let mut depth = 0;
     while num_rows > 1 {
@@ -271,12 +277,6 @@ where
                             }
                             Ok(mut chunk_pair) => {
                                 assert_eq!(chunk_pair.len(), 2);
-                                assert!(
-                                    OV::BITS <= AdditionStep::BITS,
-                                    "{} not large enough to accommodate the sum of {} bit values",
-                                    type_name::<AdditionStep>(),
-                                    OV::BITS,
-                                );
                                 let b = chunk_pair.pop().unwrap();
                                 let a = chunk_pair.pop().unwrap();
                                 let record_id = RecordId::from(i);