Release proptest 0.9.5

book/src/proptest/getting-started.md

@@ -41,7 +41,7 @@ In `Cargo.toml`, add
 
 ```toml
 [dev-dependencies]
-proptest = "0.9.4"
+proptest = "0.9.5"
 ```
 
 Now we can add some property tests to our date parser. But how do we test

proptest-derive/tests/compile-fail/E0001-lifetime.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0001]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0002-no-unions.rs

@@ -9,5 +9,7 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Arbitrary)] //~ ERROR: [proptest_derive, E0002]
 union Foo { x: usize }

proptest-derive/tests/compile-fail/E0003-void-struct.rs

@@ -11,6 +11,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0003]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0004-void-enum.rs

@@ -11,6 +11,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0004]
 enum Void {}
 

proptest-derive/tests/compile-fail/E0005-void-enum.rs

@@ -11,6 +11,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0005]
 enum T0 {
     V0(!),

proptest-derive/tests/compile-fail/E0006-void-enum.rs

@@ -11,6 +11,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0006]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0007]
                             //~| [proptest_derive, E0030]

proptest-derive/tests/compile-fail/E0008-illegal-skip.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Clone, Debug, Arbitrary)] //~ ERROR: 2 errors:
                                    //~| [proptest_derive, E0008]
                                    //~| [proptest_derive, E0007]

proptest-derive/tests/compile-fail/E0009-illegal-weight.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0009]
                             //~| [proptest_derive, E0030]

proptest-derive/tests/compile-fail/E0010-parent-has-params.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors

proptest-derive/tests/compile-fail/E0011-params-variant.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0011]
 enum T0 {
     #[proptest(params = "String")]

proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 fn even(x: &u8) -> bool {
     x % 2 == 0
 }

proptest-derive/tests/compile-fail/E0014-bare-attr.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0014]

proptest-derive/tests/compile-fail/E0015-lit-set.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ 2 errors:
                             //~| [proptest_derive, E0015]

proptest-derive/tests/compile-fail/E0016-immediate-lit.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0016]

proptest-derive/tests/compile-fail/E0017-set-again.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~  ERROR: 2 errors
                             //~| # [proptest_derive, E0017]
                             //~| # [proptest_derive, E0030]

proptest-derive/tests/compile-fail/E0018-unknown-mod.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0018]
 #[proptest(no_bounds)]
 struct T0<T>(T);

proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0019]

proptest-derive/tests/compile-fail/E0020-skip-malformed.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0020]

proptest-derive/tests/compile-fail/E0021-weight-malformed.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0021]

proptest-derive/tests/compile-fail/E0022-overspec-param.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0022]
 #[proptest(no_params, params = "u8")]
 enum T0 {

proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0023]
 #[proptest(params = "1/2")]
 enum T0 {

proptest-derive/tests/compile-fail/E0023-params-malformed.rs

@@ -9,6 +9,8 @@
 extern crate proptest_derive;
 use proptest_derive::Arbitrary;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0023]

proptest-derive/tests/compile-fail/E0025-overspec-strat.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // value + strategy:
 
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0025]

proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0026]
 enum T0 {
     V1 {

proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0026]

proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: [proptest_derive, E0027]
 enum T0 {
     V1 {

proptest-derive/tests/compile-fail/E0027-filter-malformed.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0027]

proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors 
                             //~| [proptest_derive, E0028]
                             //~| [proptest_derive, E0006]

proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors 
                             //~| [proptest_derive, E0028]
                             //~| [proptest_derive, E0006]

proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors 
                             //~| [proptest_derive, E0028]
                             //~| [proptest_derive, E0006]

proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors 
                             //~| [proptest_derive, E0028]
                             //~| [proptest_derive, E0006]

proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0029]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0029]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0029]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // It happens that no other error will follow E0030 so this is not as proper
 // a check that we wanted to ensure that E0030 is non-fatal.
 

proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0031]
                             //~| [proptest_derive, E0008]

proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0032]

proptest-derive/tests/compile-fail/E0033-weight-overflow.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0033]

proptest-derive/tests/compile-fail/E0034-regex-malformed.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0034]

proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs

@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 // Show non-fatal:
 #[derive(Debug, Arbitrary)] //~ ERROR: 2 errors:
                             //~| [proptest_derive, E0035]

proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs

@@ -14,8 +14,10 @@ extern crate proptest;
 
 use proptest::prelude::*;
 
+fn main() {}
+
 #[derive(Arbitrary, Debug)]
 struct T0 {
-    #[no_params] //~ ERROR: [E0658]
+    #[no_params] //~ ERROR: cannot find attribute `no_params` in this scope
     field: usize,
 }

proptest-derive/tests/compile-fail/must-be-debug.rs

@@ -9,5 +9,7 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 #[derive(Arbitrary)] //~ `Foo` doesn't implement `std::fmt::Debug` [E0277]
 struct Foo { x: usize }