Remove redundant requirement condition

model-checking · Jan 8, 2025 · f34da06 · f34da06
1 parent eff95b8
commit f34da06
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/library/core/src/convert/num.rs b/library/core/src/convert/num.rs
@@ -32,9 +32,7 @@ macro_rules! impl_float_to_int {
             impl FloatToInt<$Int> for $Float {
                 #[inline]
                 #[requires(
-                    !self.is_nan() &&
-                    self.is_finite() &&
-                    float_to_int_in_range::<$Float, $Int>(self)
+                    self.is_finite() && float_to_int_in_range::<$Float, $Int>(self)
                 )]
                 unsafe fn to_int_unchecked(self) -> $Int {
                     // SAFETY: the safety contract must be upheld by the caller.