[fix-ci-nightly] include Float / FloatCore for non-std builds for flo…

…at_sampler
proptest-rs · Dec 19, 2022 · 1ccc872 · 1ccc872
1 parent 6a958db
commit 1ccc872
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/proptest/Cargo.toml b/proptest/Cargo.toml
@@ -68,8 +68,10 @@ version = "1.2"
 optional = true
 
 [dependencies.num-traits]
-version = "0.2.2"
+version = "0.2.15"
 default-features = false
+# std or libm required for mul_add.
+features = ["libm"]
 
 [dependencies.quick-error]
 version = "2.0.0"

diff --git a/proptest/src/num/float_samplers.rs b/proptest/src/num/float_samplers.rs
@@ -21,6 +21,8 @@ macro_rules! float_sampler {
             use rand::distributions::uniform::{
                 SampleBorrow, SampleUniform, Uniform, UniformSampler,
             };
+            #[cfg(not(feature = "std"))]
+            use num_traits::float::Float;
 
             #[must_use]
             // Returns the previous float value. In other words the greatest value representable