From b8bd58b0b1ad79c4b874577f0218f89a32262fb4 Mon Sep 17 00:00:00 2001
From: Shoyu Vanilla <modulo641@gmail.com>
Date: Tue, 11 Feb 2025 22:10:12 +0900
Subject: [PATCH] Fix mistakes and errors

---
 library/core/src/convert/num.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/library/core/src/convert/num.rs b/library/core/src/convert/num.rs
index 17d2c00fca58d..72afc1a7b4de3 100644
--- a/library/core/src/convert/num.rs
+++ b/library/core/src/convert/num.rs
@@ -638,6 +638,7 @@ mod verify {
                 let x_inner: $source = kani::any_where(|&v| {
                     (v > 0 && (v as u128) > (<$target>::MAX as u128))
                         || (v < 0 && (v as i128) < (<$target>::MIN as i128))
+                        || (v == 0)
                 });
                 let x = NonZero::new(x_inner).unwrap();
                 let _ = NonZero::<$target>::try_from(x).unwrap();
@@ -714,8 +715,8 @@ mod verify {
     generate_nonzero_int_try_from_nonzero_int_harnesses!(
         check_nonzero_int_try_from_u32,
         u32 => (
-            [u8, u16, usize, i8, i16, i32],
-            [isize],
+            [u8, u16, i8, i16, i32, isize],
+            [usize],
         )
     );