Update expected compile error message.

frozenlib · May 24, 2023 · aa0a62a · aa0a62a
1 parent 47ef2c9
commit aa0a62a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/compile_fail/args_not_impl_default.stderr b/tests/compile_fail/args_not_impl_default.stderr
@@ -5,7 +5,7 @@ error[E0277]: the trait bound `TestArgs: Default` is not satisfied
   |                    ^^^^^^^^ the trait `Default` is not implemented for `TestArgs`
   |
 note: required by a bound in `proptest::arbitrary::Arbitrary::Parameters`
- --> $CARGO/proptest-1.1.0/src/arbitrary/traits.rs
+ --> $CARGO/proptest-1.2.0/src/arbitrary/traits.rs
   |
   |     type Parameters: Default;
   |                      ^^^^^^^ required by this bound in `Arbitrary::Parameters`