chore: remove unnecessary type annotations

Author: mmaker

src/codec.rs

@@ -106,10 +106,10 @@ where
         bytes[start..].copy_from_slice(&reduced_bytes);
         bytes.reverse();
 
-        let mut repr = <<G as Group>::Scalar as PrimeField>::Repr::default();
+        let mut repr = <G::Scalar as PrimeField>::Repr::default();
         repr.as_mut().copy_from_slice(&bytes);
 
-        <<G as Group>::Scalar as PrimeField>::from_repr(repr).expect("Error")
+        <G::Scalar as PrimeField>::from_repr(repr).expect("Error")
     }
 }
 

src/composition.rs

@@ -19,7 +19,7 @@
 //! ```
 
 use ff::{Field, PrimeField};
-use group::{prime::PrimeGroup, Group};
+use group::prime::PrimeGroup;
 use sha3::Digest;
 use sha3::Sha3_256;
 
@@ -399,7 +399,7 @@ impl<G: PrimeGroup> SigmaProtocol for Protocol<G> {
                 Ok(ProtocolResponse::And(responses))
             }
             Protocol::Or(ps) => {
-                let ch_bytes_len = <<G as Group>::Scalar as PrimeField>::Repr::default()
+                let ch_bytes_len = <G::Scalar as PrimeField>::Repr::default()
                     .as_ref()
                     .len();
                 let mut cursor = 0;

src/serialization.rs

@@ -95,7 +95,7 @@ pub fn deserialize_scalars<G: Group>(data: &[u8], count: usize) -> Option<Vec<G:
         let end = start + scalar_len;
         let slice = &data[start..end];
 
-        let mut repr = <<G as Group>::Scalar as PrimeField>::Repr::default();
+        let mut repr = <G::Scalar as PrimeField>::Repr::default();
         repr.as_mut().copy_from_slice(slice);
         repr.as_mut().reverse();
 

src/tests/test_utils.rs

@@ -1,7 +1,7 @@
 //! Definitions used in tests for this crate.
 
 use ff::Field;
-use group::{prime::PrimeGroup, Group};
+use group::prime::PrimeGroup;
 
 use crate::linear_relation::{msm_pr, LinearRelation};
 
@@ -34,7 +34,7 @@ pub fn translated_discrete_logarithm<G: PrimeGroup>(
     let var_x = relation.allocate_scalar();
     let var_G = relation.allocate_element();
 
-    let var_X = relation.allocate_eq((var_x + <<G as Group>::Scalar as Field>::ONE) * var_G);
+    let var_X = relation.allocate_eq((var_x + <G::Scalar as Field>::ONE) * var_G);
 
     relation.set_element(var_G, G::generator());
     relation.compute_image(&[x]).unwrap();
@@ -189,7 +189,7 @@ pub fn test_linear_relation_example<G: PrimeGroup>() -> LinearRelation<G> {
     let x = sigma__lr.allocate_scalar();
     let B = sigma__lr.allocate_element();
     let _sigma__eq1 =
-        sigma__lr.allocate_eq((x + (-<<G as Group>::Scalar as Field>::ONE)) * B + (-B));
+        sigma__lr.allocate_eq((x + (-<G::Scalar as Field>::ONE)) * B + (-B));
 
     sigma__lr
 }