Update compile error message.

frozenlib · Dec 17, 2024 · d5012fa · d5012fa
1 parent ae150cf
commit d5012fa
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.5.0/src/arbitrary/traits.rs
+ --> $CARGO/proptest-1.6.0/src/arbitrary/traits.rs
   |
   |     type Parameters: Default;
   |                      ^^^^^^^ required by this bound in `Arbitrary::Parameters`