diff --git a/library/core/src/convert/num.rs b/library/core/src/convert/num.rs
index 14f6c46066a47..69f16801b9952 100644
--- 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.