From 29b7cf9d8a74c01e2e0a19fdd9749d2e72600ea9 Mon Sep 17 00:00:00 2001
From: Joshua Liebow-Feeser <hello@joshlf.com>
Date: Fri, 23 Feb 2024 07:07:24 -0800
Subject: [PATCH] [ci] Roll Kani version to 0.47.0

Closes #929
---
 .github/workflows/ci.yml |  2 +-
 src/byteorder.rs         | 18 +++++++++++++-----
 2 files changed, 14 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d827af6136..3e234368c1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -323,7 +323,7 @@ jobs:
           args: "--package zerocopy --features __internal_use_only_features_that_work_on_stable --output-format=terse --randomize-layout --memory-safety-checks --overflow-checks --undefined-function-checks --unwinding-checks"
           # This version is automatically rolled by
           # `roll-pinned-toolchain-versions.yml`.
-          kani-version: 0.46.0
+          kani-version: 0.47.0
 
   check_fmt:
     runs-on: ubuntu-latest
diff --git a/src/byteorder.rs b/src/byteorder.rs
index f433775c36..5d36c0a2fd 100644
--- a/src/byteorder.rs
+++ b/src/byteorder.rs
@@ -889,17 +889,25 @@ mod tests {
             rng.sample(Self::DIST)
         }
 
-        #[cfg(kani)]
-        fn any() -> Self {
-            kani::any()
-        }
-
+        #[cfg_attr(kani, allow(unused))]
         fn checked_add(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_div(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_mul(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_rem(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_sub(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_shl(self, rhs: Self) -> Option<Self>;
+
+        #[cfg_attr(kani, allow(unused))]
         fn checked_shr(self, rhs: Self) -> Option<Self>;
 
         fn is_nan(self) -> bool;