Skip to content

Commit d5012fa

Browse files
committed
Update compile error message.
1 parent ae150cf commit d5012fa

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

tests/compile_fail/args_not_impl_default.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ error[E0277]: the trait bound `TestArgs: Default` is not satisfied
55
| ^^^^^^^^ the trait `Default` is not implemented for `TestArgs`
66
|
77
note: required by a bound in `proptest::arbitrary::Arbitrary::Parameters`
8-
--> $CARGO/proptest-1.5.0/src/arbitrary/traits.rs
8+
--> $CARGO/proptest-1.6.0/src/arbitrary/traits.rs
99
|
1010
| type Parameters: Default;
1111
| ^^^^^^^ required by this bound in `Arbitrary::Parameters`

0 commit comments

Comments
 (0)