From 898de408138b879919615c450d43f0732ebe2e68 Mon Sep 17 00:00:00 2001
From: Georg Wiese <georgwiese@gmail.com>
Date: Thu, 27 Jun 2024 11:31:05 +0200
Subject: [PATCH] Fix clippy on non-x86_64 architectures (#1474)

---
 number/src/goldilocks.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/number/src/goldilocks.rs b/number/src/goldilocks.rs
index ce6dd4bdd..375dae1fc 100644
--- 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 {