Update expected compile error message.

frozenlib · Feb 6, 2023 · d2d87f2 · d2d87f2
1 parent 27cdcc5
commit d2d87f2
Showing 1 changed file with 9 additions and 9 deletions.
diff --git a/tests/compile_fail/args_not_impl_default.stderr b/tests/compile_fail/args_not_impl_default.stderr
@@ -1,14 +1,14 @@
 error[E0277]: the trait bound `TestArgs: Default` is not satisfied
-  --> tests/compile_fail/args_not_impl_default.rs:6:20
-   |
-6  | #[arbitrary(args = TestArgs)]
-   |                    ^^^^^^^^ the trait `Default` is not implemented for `TestArgs`
-   |
+ --> tests/compile_fail/args_not_impl_default.rs:6:20
+  |
+6 | #[arbitrary(args = TestArgs)]
+  |                    ^^^^^^^^ the trait `Default` is not implemented for `TestArgs`
+  |
 note: required by a bound in `proptest::arbitrary::Arbitrary::Parameters`
-  --> $CARGO/proptest-1.0.0/src/arbitrary/traits.rs
-   |
-   |     type Parameters: Default;
-   |                      ^^^^^^^ required by this bound in `proptest::arbitrary::Arbitrary::Parameters`
+ --> $CARGO/proptest-1.1.0/src/arbitrary/traits.rs
+  |
+  |     type Parameters: Default;
+  |                      ^^^^^^^ required by this bound in `proptest::arbitrary::Arbitrary::Parameters`
 help: consider annotating `TestArgs` with `#[derive(Default)]`
    |
 2  | #[derive(Default)]