diff --git a/book/src/proptest/getting-started.md b/book/src/proptest/getting-started.md
index 9e308bbc..a3ee8280 100644
--- a/book/src/proptest/getting-started.md
+++ b/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
diff --git a/proptest-derive/tests/compile-fail/E0001-lifetime.rs b/proptest-derive/tests/compile-fail/E0001-lifetime.rs
index 182f6b8e..65a1ba57 100644
--- a/proptest-derive/tests/compile-fail/E0001-lifetime.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0002-no-unions.rs b/proptest-derive/tests/compile-fail/E0002-no-unions.rs
index aa71ee01..7ea5ea3d 100644
--- a/proptest-derive/tests/compile-fail/E0002-no-unions.rs
+++ b/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 }
diff --git a/proptest-derive/tests/compile-fail/E0003-void-struct.rs b/proptest-derive/tests/compile-fail/E0003-void-struct.rs
index 24cd3002..38546059 100644
--- a/proptest-derive/tests/compile-fail/E0003-void-struct.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0004-void-enum.rs b/proptest-derive/tests/compile-fail/E0004-void-enum.rs
index c85b931b..cccd5edc 100644
--- a/proptest-derive/tests/compile-fail/E0004-void-enum.rs
+++ b/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 {}
 
diff --git a/proptest-derive/tests/compile-fail/E0005-void-enum.rs b/proptest-derive/tests/compile-fail/E0005-void-enum.rs
index 24f6de85..4fe547a0 100644
--- a/proptest-derive/tests/compile-fail/E0005-void-enum.rs
+++ b/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(!),
diff --git a/proptest-derive/tests/compile-fail/E0006-void-enum.rs b/proptest-derive/tests/compile-fail/E0006-void-enum.rs
index a5011b6d..75de9f0b 100644
--- a/proptest-derive/tests/compile-fail/E0006-void-enum.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs b/proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs
index 05ac2014..d10a5ffc 100644
--- a/proptest-derive/tests/compile-fail/E0007-illegal-strategy.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0008-illegal-skip.rs b/proptest-derive/tests/compile-fail/E0008-illegal-skip.rs
index 6f1a5aa0..843ba0be 100644
--- a/proptest-derive/tests/compile-fail/E0008-illegal-skip.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0009-illegal-weight.rs b/proptest-derive/tests/compile-fail/E0009-illegal-weight.rs
index c338cdad..97686c40 100644
--- a/proptest-derive/tests/compile-fail/E0009-illegal-weight.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0010-parent-has-params.rs b/proptest-derive/tests/compile-fail/E0010-parent-has-params.rs
index 73761ca5..ea2e43c8 100644
--- a/proptest-derive/tests/compile-fail/E0010-parent-has-params.rs
+++ b/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
diff --git a/proptest-derive/tests/compile-fail/E0011-params-variant.rs b/proptest-derive/tests/compile-fail/E0011-params-variant.rs
index 35a57eae..a277c596 100644
--- a/proptest-derive/tests/compile-fail/E0011-params-variant.rs
+++ b/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")]
diff --git a/proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs b/proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs
index 823c84e1..cade9394 100644
--- a/proptest-derive/tests/compile-fail/E0012-parent-has-filter.rs
+++ b/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
 }
diff --git a/proptest-derive/tests/compile-fail/E0014-bare-attr.rs b/proptest-derive/tests/compile-fail/E0014-bare-attr.rs
index 2720ee7c..62dc4ec3 100644
--- a/proptest-derive/tests/compile-fail/E0014-bare-attr.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0015-lit-set.rs b/proptest-derive/tests/compile-fail/E0015-lit-set.rs
index 0373c214..3418da85 100644
--- a/proptest-derive/tests/compile-fail/E0015-lit-set.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0016-immediate-lit.rs b/proptest-derive/tests/compile-fail/E0016-immediate-lit.rs
index 129e5a31..87da7c19 100644
--- a/proptest-derive/tests/compile-fail/E0016-immediate-lit.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0017-set-again.rs b/proptest-derive/tests/compile-fail/E0017-set-again.rs
index 74fc6dc5..28f4dd9c 100644
--- a/proptest-derive/tests/compile-fail/E0017-set-again.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0018-unknown-mod.rs b/proptest-derive/tests/compile-fail/E0018-unknown-mod.rs
index c53e7640..57d9c64c 100644
--- a/proptest-derive/tests/compile-fail/E0018-unknown-mod.rs
+++ b/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);
diff --git a/proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs b/proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs
index 6c5458ea..99e1df9f 100644
--- a/proptest-derive/tests/compile-fail/E0019-no_params-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0020-skip-malformed.rs b/proptest-derive/tests/compile-fail/E0020-skip-malformed.rs
index aa431748..d82319b7 100644
--- a/proptest-derive/tests/compile-fail/E0020-skip-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0021-weight-malformed.rs b/proptest-derive/tests/compile-fail/E0021-weight-malformed.rs
index a4b174c4..d521da7c 100644
--- a/proptest-derive/tests/compile-fail/E0021-weight-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0022-overspec-param.rs b/proptest-derive/tests/compile-fail/E0022-overspec-param.rs
index b77d1ce6..0ffb626f 100644
--- a/proptest-derive/tests/compile-fail/E0022-overspec-param.rs
+++ b/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 {
diff --git a/proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs b/proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs
index 4be326ee..88ab15c8 100644
--- a/proptest-derive/tests/compile-fail/E0023-params-malformed-expr.rs
+++ b/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 {
diff --git a/proptest-derive/tests/compile-fail/E0023-params-malformed.rs b/proptest-derive/tests/compile-fail/E0023-params-malformed.rs
index bad3779e..4a16dacc 100644
--- a/proptest-derive/tests/compile-fail/E0023-params-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0025-overspec-strat.rs b/proptest-derive/tests/compile-fail/E0025-overspec-strat.rs
index e7a84357..ff1a864b 100644
--- a/proptest-derive/tests/compile-fail/E0025-overspec-strat.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs b/proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs
index f7492fd2..85f55f01 100644
--- a/proptest-derive/tests/compile-fail/E0026-strategy-malformed-expr.rs
+++ b/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 {
diff --git a/proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs b/proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs
index ac932209..38935e47 100644
--- a/proptest-derive/tests/compile-fail/E0026-strategy-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs b/proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs
index 07ee63ff..4a422304 100644
--- a/proptest-derive/tests/compile-fail/E0027-filter-malformed-expr.rs
+++ b/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 {
diff --git a/proptest-derive/tests/compile-fail/E0027-filter-malformed.rs b/proptest-derive/tests/compile-fail/E0027-filter-malformed.rs
index 9b756bb1..bfa2732c 100644
--- a/proptest-derive/tests/compile-fail/E0027-filter-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs b/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs
index 019fe66a..a398ffca 100644
--- a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-filter.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs b/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs
index 0f31a287..e369abc2 100644
--- a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-param.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs b/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs
index d9d9e70e..df263dce 100644
--- a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-strat.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs b/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs
index bf90e4f6..7ca58bf5 100644
--- a/proptest-derive/tests/compile-fail/E0028-skipped-variant-has-weight.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs b/proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs
index 19a2cdd4..36303850 100644
--- a/proptest-derive/tests/compile-fail/E0029-filter-on-unit-variant.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs b/proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs
index 44860d05..04a5c3a4 100644
--- a/proptest-derive/tests/compile-fail/E0029-params-on-unit-variant.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs b/proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs
index 74a3d6f8..fa2ea2a6 100644
--- a/proptest-derive/tests/compile-fail/E0029-strategy-on-unit-variant.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs b/proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs
index a93185e2..527700e5 100644
--- a/proptest-derive/tests/compile-fail/E0030-params-on-unit-struct.rs
+++ b/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.
 
diff --git a/proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs b/proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs
index 43dcabf0..554caf7b 100644
--- a/proptest-derive/tests/compile-fail/E0031-no-bound-non-tyvar.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs b/proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs
index 960699d8..dc5c285f 100644
--- a/proptest-derive/tests/compile-fail/E0032-no-bound-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0033-weight-overflow.rs b/proptest-derive/tests/compile-fail/E0033-weight-overflow.rs
index d460c70c..662cc7de 100644
--- a/proptest-derive/tests/compile-fail/E0033-weight-overflow.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0034-regex-malformed.rs b/proptest-derive/tests/compile-fail/E0034-regex-malformed.rs
index 39174a18..40eb225c 100644
--- a/proptest-derive/tests/compile-fail/E0034-regex-malformed.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs b/proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs
index eebad9d1..f474ae98 100644
--- a/proptest-derive/tests/compile-fail/E0035-cant_set_param_and_regex.rs
+++ b/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]
diff --git a/proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs b/proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs
index 2c361bbd..253421c4 100644
--- a/proptest-derive/tests/compile-fail/E0658-no-bare-modifiers.rs
+++ b/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,
 }
diff --git a/proptest-derive/tests/compile-fail/must-be-debug.rs b/proptest-derive/tests/compile-fail/must-be-debug.rs
index 4f41e4e2..498ba8a0 100644
--- a/proptest-derive/tests/compile-fail/must-be-debug.rs
+++ b/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 }
diff --git a/proptest-derive/tests/compile-fail/no-arbitrary.rs b/proptest-derive/tests/compile-fail/no-arbitrary.rs
index 9d46dfec..676c7fa7 100644
--- a/proptest-derive/tests/compile-fail/no-arbitrary.rs
+++ b/proptest-derive/tests/compile-fail/no-arbitrary.rs
@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 struct T0;
 
 #[derive(Debug, Arbitrary)] //~ Arbitrary` is not satisfied [E0277]
diff --git a/proptest-derive/tests/compile-fail/regex_wrong_type.rs b/proptest-derive/tests/compile-fail/regex_wrong_type.rs
index e937cbd8..8d62095f 100644
--- a/proptest-derive/tests/compile-fail/regex_wrong_type.rs
+++ b/proptest-derive/tests/compile-fail/regex_wrong_type.rs
@@ -9,6 +9,8 @@
 #[macro_use]
 extern crate proptest_derive;
 
+fn main() {}
+
 fn make_regex() -> &'static str {
     "a|b"
 }
diff --git a/proptest/CHANGELOG.md b/proptest/CHANGELOG.md
index dbdc11b7..4882d336 100644
--- a/proptest/CHANGELOG.md
+++ b/proptest/CHANGELOG.md
@@ -1,3 +1,9 @@
+## 0.9.5
+
+### Bug Fixes
+
+- Fixed a Rust future-compatibility issue (https://github.com/rust-lang/rust/pull/65819).
+
 ## 0.9.4
 
 ### Bug Fixes
diff --git a/proptest/Cargo.toml b/proptest/Cargo.toml
index 13b7e73c..0d99c403 100644
--- a/proptest/Cargo.toml
+++ b/proptest/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "proptest"
-version = "0.9.4"
+version = "0.9.5"
 authors = ["Jason Lingle"]
 license = "MIT/Apache-2.0"
 readme = "README.md"
diff --git a/proptest/README.md b/proptest/README.md
index c889b5f9..6ff5ab3e 100644
--- a/proptest/README.md
+++ b/proptest/README.md
@@ -80,7 +80,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
diff --git a/proptest/src/lib.rs b/proptest/src/lib.rs
index a7938b20..9acd076c 100644
--- a/proptest/src/lib.rs
+++ b/proptest/src/lib.rs
@@ -14,6 +14,7 @@
 //! For documentation on how to get started with proptest and general usage
 //! advice, please refer to the [Proptest Book](https://altsysrq.github.io/proptest-book/intro.html).
 
+#![forbid(future_incompatible)]
 #![deny(missing_docs, bare_trait_objects)]
 #![no_std]
 #![cfg_attr(feature = "cargo-clippy", allow(