From ecdb9e36e0d29ad37cdfc759bc720413da45df1e Mon Sep 17 00:00:00 2001 From: Shoyu Vanilla Date: Sat, 4 Jan 2025 11:47:13 +0900 Subject: [PATCH] fix --- library/core/src/convert/num.rs | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/library/core/src/convert/num.rs b/library/core/src/convert/num.rs index 21234b4a33324..14f6c46066a47 100644 --- a/library/core/src/convert/num.rs +++ b/library/core/src/convert/num.rs @@ -1,9 +1,8 @@ -use crate::num::TryFromIntError; use safety::requires; #[cfg(kani)] use crate::kani; - +use crate::num::TryFromIntError; #[allow(unused_imports)] use crate::ub_checks::float_to_int_in_range; @@ -966,9 +965,9 @@ mod verify { check_nonzero_i32_try_from_nonzero_u64_should_panic, ); generate_nonzero_int_try_from_nonzero_int_harness!( - u64 => u64, - check_nonzero_u64_try_from_nonzero_u64, - check_nonzero_u64_try_from_nonzero_u64_should_panic, + u64 => i64, + check_nonzero_i64_try_from_nonzero_u64, + check_nonzero_i64_try_from_nonzero_u64_should_panic, ); generate_nonzero_int_try_from_nonzero_int_harness!( u64 => isize,