Change unchecked_new to use const fn

src/lib.rs

@@ -235,7 +235,16 @@ impl<T: Float> Zero for OrderedFloat<T> {
 /// A NaN value cannot be stored in this type.
 #[derive(PartialOrd, PartialEq, Debug, Default, Clone, Copy)]
 #[repr(transparent)]
-pub struct NotNan<T: Float>(T);
+pub struct NotNan<T>(T);
+
+impl<T> NotNan<T> {
+    /// Create a NotNan value from a value that is guaranteed to not be NaN
+    ///
+    /// Behaviour is undefined if `val` is NaN
+    pub const unsafe fn unchecked_new(val: T) -> Self {
+        NotNan(val)
+    }
+}
 
 impl<T: Float> NotNan<T> {
     /// Create a NotNan value.
@@ -248,14 +257,6 @@ impl<T: Float> NotNan<T> {
         }
     }
 
-    /// Create a NotNan value from a value that is guaranteed to not be NaN
-    ///
-    /// Behaviour is undefined if `val` is NaN
-    pub unsafe fn unchecked_new(val: T) -> Self {
-        debug_assert!(!val.is_nan());
-        NotNan(val)
-    }
-
     /// Get the value out.
     pub fn into_inner(self) -> T {
         self.0

tests/test.rs

@@ -584,3 +584,10 @@ fn not_nan64_sum_product() {
     assert_eq!([a,b,c].iter().product::<NotNan<_>>(), a * b * c);
 
 }
+
+#[test]
+fn not_nan_usage_in_const_context() {
+    const A: NotNan<f32> = unsafe { NotNan::unchecked_new(111f32) };
+
+    assert_eq!(A, NotNan::new(111f32).unwrap());
+}