float midpoint tests: add missing NAN cases

RalfJung · RalfJung · commit 717198473967 · 2025-06-09T14:18:03.000+02:00
diff --git a/library/coretests/tests/floats/mod.rs b/library/coretests/tests/floats/mod.rs
@@ -420,6 +420,8 @@ float_test! {
             Float::NEG_INFINITY.midpoint(Float::NEG_INFINITY),
             Float::NEG_INFINITY
         );
+        assert!(Float::NEG_INFINITY.midpoint(Float::INFINITY).is_nan());
+        assert!(Float::INFINITY.midpoint(Float::NEG_INFINITY).is_nan());
         assert!(Float::NAN.midpoint(1.0).is_nan());
         assert!((1.0 as Float).midpoint(Float::NAN).is_nan());
         assert!(Float::NAN.midpoint(Float::NAN).is_nan());
