Updated derive tests.

Author: horned-sphere

api/swimos_form/src/tests/derive/form/generic.stderr

@@ -2,12 +2,7 @@ error[E0599]: the method `as_value` exists for struct `S<Valid, Invalid>`, but i
   --> src/tests/derive/form/generic.rs:34:15
    |
 24 |     struct S<A, B> {
-   |     --------------
-   |     |
-   |     method `as_value` not found for this struct
-   |     doesn't satisfy `S<Valid, Invalid>: Form`
-   |     doesn't satisfy `S<Valid, Invalid>: StructuralReadable`
-   |     doesn't satisfy `S<Valid, Invalid>: StructuralWritable`
+   |     -------------- method `as_value` not found for this struct because it doesn't satisfy `S<Valid, Invalid>: Form`, `S<Valid, Invalid>: StructuralReadable` or `S<Valid, Invalid>: StructuralWritable`
 ...
 34 |     let _ = s.as_value();
    |               ^^^^^^^^ method cannot be called on `S<Valid, Invalid>` due to unsatisfied trait bounds
@@ -27,3 +22,6 @@ note: the traits `StructuralReadable` and `StructuralWritable` must be implement
    |
    | pub trait StructuralWritable {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   = help: items from traits can only be used if the trait is implemented and in scope
+   = note: the following trait defines an item `as_value`, perhaps you need to implement it:
+           candidate #1: `Form`

api/swimos_form/src/tests/derive/form/generic_no_default.stderr

@@ -2,12 +2,7 @@ error[E0599]: the method `as_value` exists for struct `S<Valid, Skipped>`, but i
   --> src/tests/derive/form/generic_no_default.rs:35:15
    |
 24 |     struct S<A, B> {
-   |     --------------
-   |     |
-   |     method `as_value` not found for this struct
-   |     doesn't satisfy `S<Valid, Skipped>: Form`
-   |     doesn't satisfy `S<Valid, Skipped>: StructuralReadable`
-   |     doesn't satisfy `S<Valid, Skipped>: StructuralWritable`
+   |     -------------- method `as_value` not found for this struct because it doesn't satisfy `S<Valid, Skipped>: Form`, `S<Valid, Skipped>: StructuralReadable` or `S<Valid, Skipped>: StructuralWritable`
 ...
 35 |     let _ = s.as_value();
    |               ^^^^^^^^ method cannot be called on `S<Valid, Skipped>` due to unsatisfied trait bounds
@@ -27,6 +22,9 @@ note: the traits `StructuralReadable` and `StructuralWritable` must be implement
    |
    | pub trait StructuralWritable {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   = help: items from traits can only be used if the trait is implemented and in scope
+   = note: the following trait defines an item `as_value`, perhaps you need to implement it:
+           candidate #1: `Form`
 
 error[E0277]: the trait bound `B: Default` is not satisfied
   --> src/tests/derive/form/generic_no_default.rs:23:14

api/swimos_form/src/tests/derive/form/tag_no_to_string.stderr

@@ -17,7 +17,7 @@ error[E0277]: the trait bound `B: swimos_form::structural::Tag` is not satisfied
   --> src/tests/derive/form/tag_no_to_string.rs:21:14
    |
 21 |     #[derive(Form)]
-   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`
+   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`, which is required by `TagRecognizer<B>: Recognizer`
    |
    = help: the trait `Recognizer` is implemented for `TagRecognizer<T>`
    = note: required for `TagRecognizer<B>` to implement `Recognizer`
@@ -35,7 +35,7 @@ error[E0277]: the trait bound `B: swimos_form::structural::Tag` is not satisfied
   --> src/tests/derive/form/tag_no_to_string.rs:21:14
    |
 21 |     #[derive(Form)]
-   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`
+   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`, which is required by `TagRecognizer<B>: Recognizer`
    |
    = help: the trait `Recognizer` is implemented for `TagRecognizer<T>`
    = note: required for `TagRecognizer<B>` to implement `Recognizer`
@@ -45,7 +45,7 @@ error[E0277]: the trait bound `B: swimos_form::structural::Tag` is not satisfied
   --> src/tests/derive/form/tag_no_to_string.rs:21:14
    |
 21 |     #[derive(Form)]
-   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`
+   |              ^^^^ the trait `swimos_form::structural::Tag` is not implemented for `B`, which is required by `TagRecognizer<B>: Default`
    |
    = help: the trait `Default` is implemented for `TagRecognizer<T>`
    = note: required for `TagRecognizer<B>` to implement `Default`

api/swimos_schema/src/schema/tests/derive/validated_form/generic_no_default.stderr

@@ -25,24 +25,14 @@ note: required by a bound in `as_value`
    |     fn as_value(&self) -> Value {
    |        -------- required by a bound in this associated function
 
-error[E0277]: the trait bound `S<Invalid>: RecognizerReadable` is not satisfied
+error[E0277]: the trait bound `S<Invalid>: StructuralReadable` is not satisfied
   --> src/schema/tests/derive/validated_form/generic_no_default.rs:30:29
    |
 30 |     let _s = Form::as_value(&S { a: 1, f: Invalid });
-   |              -------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `RecognizerReadable` is not implemented for `S<Invalid>`
+   |              -------------- ^^^^^^^^^^^^^^^^^^^^^^^ the trait `RecognizerReadable` is not implemented for `S<Invalid>`, which is required by `S<Invalid>: StructuralReadable`
    |              |
    |              required by a bound introduced by this call
    |
-   = help: the following other types implement trait `RecognizerReadable`:
-             bool
-             i32
-             i64
-             usize
-             u32
-             u64
-             f64
-             swimos_route::route_uri::RouteUri
-           and $N others
    = note: required for `S<Invalid>` to implement `StructuralReadable`
 note: required by a bound in `as_value`
   --> $WORKSPACE/api/swimos_form/src/lib.rs