Fix clippy on non-x86_64 architectures (#1474)

powdr-labs · Jun 27, 2024 · 898de40 · 898de40
1 parent 99d35a3
commit 898de40
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/number/src/goldilocks.rs b/number/src/goldilocks.rs
@@ -10,6 +10,7 @@ use serde::{Deserialize, Serialize};
 
 use core::fmt::{self, Debug, Formatter};
 use core::hash::Hash;
+#[cfg(target_arch = "x86_64")]
 use core::hint::unreachable_unchecked;
 
 use crate::{BigUint, FieldElement, KnownField, LargeInt};
@@ -283,6 +284,7 @@ const fn split(x: u128) -> (u64, u64) {
 }
 
 #[inline(always)]
+#[cfg(target_arch = "x86_64")]
 pub fn assume(p: bool) {
     debug_assert!(p);
     if !p {