Format

src/uint/mod.rs

@@ -12,10 +12,10 @@ mod convert;
 mod eq;
 mod not;
 mod or;
-mod shl;
-mod shr;
 mod rotate;
 mod select;
+mod shl;
+mod shr;
 mod xor;
 
 #[doc(hidden)]

src/uint/prim_uint.rs

@@ -1,5 +1,5 @@
-use core::usize;
 use core::ops::{Shl, ShlAssign, Shr, ShrAssign};
+use core::usize;
 
 #[doc(hidden)]
 // Adapted from <https://github.com/rust-num/num-traits/pull/224>
@@ -164,7 +164,6 @@ pub trait NumBytes:
 #[doc(hidden)]
 impl<const N: usize> NumBytes for [u8; N] {}
 
-
 mod _private {
     pub trait Sealed {}
 
@@ -173,4 +172,4 @@ mod _private {
     impl Sealed for u32 {}
     impl Sealed for u64 {}
     impl Sealed for u128 {}
-}
+}

src/uint/shl.rs

@@ -13,12 +13,9 @@ impl<const N: usize, T: PrimUInt, F: PrimeField> UInt<N, T, F> {
             for (a, b) in bits[other as usize..].iter_mut().zip(&self.bits) {
                 *a = b.clone();
             }
-            
+
             let value = self.value.and_then(|a| Some(a << other));
-            Ok(Self {
-                bits,
-                value,
-            })
+            Ok(Self { bits, value })
         } else {
             panic!("attempt to shift left with overflow")
         }
@@ -120,11 +117,8 @@ mod tests {
         } else {
             AllocationMode::Witness
         };
-        let expected = UInt::<N, T, F>::new_variable(
-            cs.clone(),
-            || Ok(a.value()? << b),
-            expected_mode,
-        )?;
+        let expected =
+            UInt::<N, T, F>::new_variable(cs.clone(), || Ok(a.value()? << b), expected_mode)?;
         assert_eq!(expected.value(), computed.value());
         expected.enforce_equal(&computed)?;
         if !a.is_constant() {

src/uint/shr.rs

@@ -13,12 +13,9 @@ impl<const N: usize, T: PrimUInt, F: PrimeField> UInt<N, T, F> {
             for (a, b) in bits.iter_mut().zip(&self.bits[other as usize..]) {
                 *a = b.clone();
             }
-            
+
             let value = self.value.and_then(|a| Some(a >> other));
-            Ok(Self {
-                bits,
-                value,
-            })
+            Ok(Self { bits, value })
         } else {
             panic!("attempt to shift right with overflow")
         }
@@ -120,11 +117,8 @@ mod tests {
         } else {
             AllocationMode::Witness
         };
-        let expected = UInt::<N, T, F>::new_variable(
-            cs.clone(),
-            || Ok(a.value()? >> b),
-            expected_mode,
-        )?;
+        let expected =
+            UInt::<N, T, F>::new_variable(cs.clone(), || Ok(a.value()? >> b), expected_mode)?;
         assert_eq!(expected.value(), computed.value());
         expected.enforce_equal(&computed)?;
         if !a.is_constant() {

src/uint/test_utils.rs

@@ -111,8 +111,6 @@ where
     Ok(())
 }
 
-
-
 pub(crate) fn run_unary_random<const ITERATIONS: usize, const N: usize, T, F>(
     test: impl Fn(UInt<N, T, F>) -> Result<(), SynthesisError> + Copy,
 ) -> Result<(), SynthesisError>