fixed pub ints

cryspen · Oct 11, 2024 · a66bf43 · a66bf43
1 parent 8985671
commit a66bf43
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/libcrux-intrinsics/src/avx2_secret.rs b/libcrux-intrinsics/src/avx2_secret.rs
@@ -439,11 +439,11 @@ pub fn mm256_andnot_si256(a: Vec256, b: Vec256) -> Vec256 {
 }
 
 #[inline(always)]
-pub fn mm256_set1_epi64x(a: I64) -> Vec256 {
+pub fn mm256_set1_epi64x(a: i64) -> Vec256 {
     unimplemented!()
 }
 #[inline(always)]
-pub fn mm256_set_epi64x(input3: I64, input2: I64, input1: I64, input0: I64) -> Vec256 {
+pub fn mm256_set_epi64x(input3: i64, input2: i64, input1: i64, input0: i64) -> Vec256 {
     unimplemented!()
 }
 

diff --git a/libcrux-secret-independence/src/public_integers.rs b/libcrux-secret-independence/src/public_integers.rs
@@ -23,16 +23,16 @@ impl<T> Declassify for T{
     }
 }
 
-impl<T> ClassifyEach for T {
+impl<T: Clone+Copy> ClassifyEach for T {
     type ClassifiedEachOutput = T;
     fn classify_each(&self) -> T {
-        self
+        *self
     }
 }
 
 impl<T> DeclassifyEach for T {
     type DeclassifiedEachOutput = T;
-    fn declassify_each(&self) -> T {
+    fn declassify_each(self) -> T {
         self
     }
 }