Skip to content

Commit 3571fd9

Browse files
committed
Fix codegen failure tests
1 parent a3a17bf commit 3571fd9

20 files changed

+165
-165
lines changed

tests/codegen/fail/input-object/derive_incompatible_field_type.stderr

Lines changed: 24 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,14 @@ error[E0277]: the trait bound `ObjectA: IsInputType<__S>` is not satisfied
55
| ^^^^^^^ the trait `IsInputType<__S>` is not implemented for `ObjectA`
66
|
77
= help: the following other types implement trait `IsInputType<S>`:
8-
<bool as IsInputType<__S>>
9-
<i32 as IsInputType<__S>>
10-
<f64 as IsInputType<__S>>
11-
<Object as IsInputType<__S>>
12-
<Box<T> as IsInputType<S>>
13-
<juniper::schema::model::DirectiveLocation as IsInputType<__S>>
8+
<&T as IsInputType<S>>
149
<Arc<T> as IsInputType<S>>
10+
<Box<T> as IsInputType<S>>
11+
<ID as IsInputType<__S>>
12+
<Object as IsInputType<__S>>
1513
<TypeKind as IsInputType<__S>>
14+
<Vec<T> as IsInputType<S>>
15+
<[T; N] as IsInputType<S>>
1616
and $N others
1717

1818
error[E0277]: the trait bound `ObjectA: FromInputValue<__S>` is not satisfied
@@ -25,14 +25,14 @@ error[E0277]: the trait bound `ObjectA: FromInputValue<__S>` is not satisfied
2525
| ^^^^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjectA`
2626
|
2727
= help: the following other types implement trait `FromInputValue<S>`:
28-
<bool as FromInputValue<__S>>
29-
<i32 as FromInputValue<__S>>
30-
<f64 as FromInputValue<__S>>
31-
<Object as FromInputValue<__S>>
32-
<Box<T> as FromInputValue<S>>
33-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
3428
<Arc<T> as FromInputValue<S>>
29+
<Box<T> as FromInputValue<S>>
30+
<ID as FromInputValue<__S>>
31+
<Object as FromInputValue<__S>>
3532
<TypeKind as FromInputValue<__S>>
33+
<Vec<T> as FromInputValue<S>>
34+
<[T; N] as FromInputValue<S>>
35+
<bool as FromInputValue<__S>>
3636
and $N others
3737
note: required by a bound in `Registry::<'r, S>::arg`
3838
--> $WORKSPACE/juniper/src/executor/mod.rs
@@ -50,14 +50,14 @@ error[E0277]: the trait bound `ObjectA: FromInputValue<__S>` is not satisfied
5050
| ^^^^^^^^^^^^^^^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjectA`
5151
|
5252
= help: the following other types implement trait `FromInputValue<S>`:
53-
<bool as FromInputValue<__S>>
54-
<i32 as FromInputValue<__S>>
55-
<f64 as FromInputValue<__S>>
56-
<Object as FromInputValue<__S>>
57-
<Box<T> as FromInputValue<S>>
58-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
5953
<Arc<T> as FromInputValue<S>>
54+
<Box<T> as FromInputValue<S>>
55+
<ID as FromInputValue<__S>>
56+
<Object as FromInputValue<__S>>
6057
<TypeKind as FromInputValue<__S>>
58+
<Vec<T> as FromInputValue<S>>
59+
<[T; N] as FromInputValue<S>>
60+
<bool as FromInputValue<__S>>
6161
and $N others
6262
= note: this error originates in the derive macro `GraphQLInputObject` (in Nightly builds, run with -Z macro-backtrace for more info)
6363

@@ -68,13 +68,13 @@ error[E0277]: the trait bound `ObjectA: ToInputValue<_>` is not satisfied
6868
| ^^^^^^^^^^^^^^^^^^ the trait `ToInputValue<_>` is not implemented for `ObjectA`
6969
|
7070
= help: the following other types implement trait `ToInputValue<S>`:
71-
<bool as ToInputValue<__S>>
72-
<i32 as ToInputValue<__S>>
73-
<f64 as ToInputValue<__S>>
74-
<Object as ToInputValue<__S>>
75-
<Box<T> as ToInputValue<S>>
76-
<juniper::schema::model::DirectiveLocation as ToInputValue<__S>>
71+
<&'a T as ToInputValue<S>>
72+
<&'a [T] as ToInputValue<S>>
73+
<&'a str as ToInputValue<S>>
7774
<Arc<T> as ToInputValue<S>>
75+
<Box<T> as ToInputValue<S>>
76+
<ID as ToInputValue<__S>>
77+
<Object as ToInputValue<__S>>
7878
<TypeKind as ToInputValue<__S>>
7979
and $N others
8080
= note: this error originates in the derive macro `GraphQLInputObject` (in Nightly builds, run with -Z macro-backtrace for more info)

tests/codegen/fail/interface/struct/attr_field_non_output_return_type.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ error[E0277]: the trait bound `ObjB: IsOutputType<__S>` is not satisfied
55
| ^^^^^^^^^^^^^^^^^^^^ the trait `IsOutputType<__S>` is not implemented for `ObjB`
66
|
77
= help: the following other types implement trait `IsOutputType<S>`:
8-
<bool as IsOutputType<__S>>
9-
<i32 as IsOutputType<__S>>
10-
<f64 as IsOutputType<__S>>
11-
<CharacterValueEnum as IsOutputType<__S>>
12-
<Box<T> as IsOutputType<S>>
13-
<juniper::meta::Field<'a, S> as IsOutputType<S>>
8+
<&T as IsOutputType<S>>
9+
<Arc<T> as IsOutputType<S>>
1410
<Argument<'a, S> as IsOutputType<S>>
11+
<Box<T> as IsOutputType<S>>
12+
<CharacterValueEnum as IsOutputType<__S>>
1513
<EnumValue as IsOutputType<__S>>
14+
<ID as IsOutputType<__S>>
15+
<SchemaType<'a, S> as IsOutputType<S>>
1616
and $N others

tests/codegen/fail/interface/struct/derive_field_non_output_return_type.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ error[E0277]: the trait bound `ObjB: IsOutputType<__S>` is not satisfied
55
| ^^^^^^^^^^^^^^^^ the trait `IsOutputType<__S>` is not implemented for `ObjB`
66
|
77
= help: the following other types implement trait `IsOutputType<S>`:
8-
<bool as IsOutputType<__S>>
9-
<i32 as IsOutputType<__S>>
10-
<f64 as IsOutputType<__S>>
11-
<CharacterValueEnum as IsOutputType<__S>>
12-
<Box<T> as IsOutputType<S>>
13-
<juniper::meta::Field<'a, S> as IsOutputType<S>>
8+
<&T as IsOutputType<S>>
9+
<Arc<T> as IsOutputType<S>>
1410
<Argument<'a, S> as IsOutputType<S>>
11+
<Box<T> as IsOutputType<S>>
12+
<CharacterValueEnum as IsOutputType<__S>>
1513
<EnumValue as IsOutputType<__S>>
14+
<ID as IsOutputType<__S>>
15+
<SchemaType<'a, S> as IsOutputType<S>>
1616
and $N others

tests/codegen/fail/interface/trait/argument_non_input_type.stderr

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,14 @@ error[E0277]: the trait bound `ObjA: IsInputType<__S>` is not satisfied
55
| ^^^^ the trait `IsInputType<__S>` is not implemented for `ObjA`
66
|
77
= help: the following other types implement trait `IsInputType<S>`:
8-
<bool as IsInputType<__S>>
9-
<i32 as IsInputType<__S>>
10-
<f64 as IsInputType<__S>>
11-
<Box<T> as IsInputType<S>>
12-
<juniper::schema::model::DirectiveLocation as IsInputType<__S>>
8+
<&T as IsInputType<S>>
139
<Arc<T> as IsInputType<S>>
10+
<Box<T> as IsInputType<S>>
11+
<ID as IsInputType<__S>>
1412
<TypeKind as IsInputType<__S>>
1513
<Vec<T> as IsInputType<S>>
14+
<[T; N] as IsInputType<S>>
15+
<[T] as IsInputType<S>>
1616
and $N others
1717

1818
error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
@@ -25,14 +25,14 @@ error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
2525
| ^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjA`
2626
|
2727
= help: the following other types implement trait `FromInputValue<S>`:
28-
<bool as FromInputValue<__S>>
29-
<i32 as FromInputValue<__S>>
30-
<f64 as FromInputValue<__S>>
31-
<Box<T> as FromInputValue<S>>
32-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
3328
<Arc<T> as FromInputValue<S>>
29+
<Box<T> as FromInputValue<S>>
30+
<ID as FromInputValue<__S>>
3431
<TypeKind as FromInputValue<__S>>
3532
<Vec<T> as FromInputValue<S>>
33+
<[T; N] as FromInputValue<S>>
34+
<bool as FromInputValue<__S>>
35+
<f64 as FromInputValue<__S>>
3636
and $N others
3737
note: required by a bound in `Registry::<'r, S>::arg`
3838
--> $WORKSPACE/juniper/src/executor/mod.rs

tests/codegen/fail/interface/trait/argument_wrong_default_array.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,14 @@ error[E0277]: the trait bound `[bool; 2]: From<[bool; 3]>` is not satisfied
55
| ^^^^^^^^^^^^^^^^^^^^ the trait `From<[bool; 3]>` is not implemented for `[bool; 2]`, which is required by `[bool; 3]: Into<_>`
66
|
77
= help: the following other types implement trait `From<T>`:
8-
<[bool; N] as From<Mask<T, N>>>
9-
<[T; N] as From<Simd<T, N>>>
8+
<[T; 10] as From<(T, T, T, T, T, T, T, T, T, T)>>
9+
<[T; 11] as From<(T, T, T, T, T, T, T, T, T, T, T)>>
10+
<[T; 12] as From<(T, T, T, T, T, T, T, T, T, T, T, T)>>
1011
<[T; 1] as From<(T,)>>
1112
<[T; 2] as From<(T, T)>>
1213
<[T; 3] as From<(T, T, T)>>
1314
<[T; 4] as From<(T, T, T, T)>>
1415
<[T; 5] as From<(T, T, T, T, T)>>
15-
<[T; 6] as From<(T, T, T, T, T, T)>>
1616
and $N others
1717
= note: required for `[bool; 3]` to implement `Into<[bool; 2]>`
1818
= note: this error originates in the attribute macro `graphql_interface` (in Nightly builds, run with -Z macro-backtrace for more info)

tests/codegen/fail/interface/trait/field_non_output_return_type.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ error[E0277]: the trait bound `ObjB: IsOutputType<__S>` is not satisfied
55
| ^^^^^^^^^^^^^^^^^^^^ the trait `IsOutputType<__S>` is not implemented for `ObjB`
66
|
77
= help: the following other types implement trait `IsOutputType<S>`:
8-
<bool as IsOutputType<__S>>
9-
<i32 as IsOutputType<__S>>
10-
<f64 as IsOutputType<__S>>
11-
<CharacterValueEnum as IsOutputType<__S>>
12-
<Box<T> as IsOutputType<S>>
13-
<juniper::meta::Field<'a, S> as IsOutputType<S>>
8+
<&T as IsOutputType<S>>
9+
<Arc<T> as IsOutputType<S>>
1410
<Argument<'a, S> as IsOutputType<S>>
11+
<Box<T> as IsOutputType<S>>
12+
<CharacterValueEnum as IsOutputType<__S>>
1513
<EnumValue as IsOutputType<__S>>
14+
<ID as IsOutputType<__S>>
15+
<SchemaType<'a, S> as IsOutputType<S>>
1616
and $N others

tests/codegen/fail/object/argument_non_input_type.stderr

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,14 @@ error[E0277]: the trait bound `ObjA: IsInputType<__S>` is not satisfied
55
| ^^^^ the trait `IsInputType<__S>` is not implemented for `ObjA`
66
|
77
= help: the following other types implement trait `IsInputType<S>`:
8-
<bool as IsInputType<__S>>
9-
<i32 as IsInputType<__S>>
10-
<f64 as IsInputType<__S>>
11-
<Box<T> as IsInputType<S>>
12-
<juniper::schema::model::DirectiveLocation as IsInputType<__S>>
8+
<&T as IsInputType<S>>
139
<Arc<T> as IsInputType<S>>
10+
<Box<T> as IsInputType<S>>
11+
<ID as IsInputType<__S>>
1412
<TypeKind as IsInputType<__S>>
1513
<Vec<T> as IsInputType<S>>
14+
<[T; N] as IsInputType<S>>
15+
<[T] as IsInputType<S>>
1616
and $N others
1717

1818
error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
@@ -25,14 +25,14 @@ error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
2525
| ^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjA`
2626
|
2727
= help: the following other types implement trait `FromInputValue<S>`:
28-
<bool as FromInputValue<__S>>
29-
<i32 as FromInputValue<__S>>
30-
<f64 as FromInputValue<__S>>
31-
<Box<T> as FromInputValue<S>>
32-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
3328
<Arc<T> as FromInputValue<S>>
29+
<Box<T> as FromInputValue<S>>
30+
<ID as FromInputValue<__S>>
3431
<TypeKind as FromInputValue<__S>>
3532
<Vec<T> as FromInputValue<S>>
33+
<[T; N] as FromInputValue<S>>
34+
<bool as FromInputValue<__S>>
35+
<f64 as FromInputValue<__S>>
3636
and $N others
3737
note: required by a bound in `Registry::<'r, S>::arg`
3838
--> $WORKSPACE/juniper/src/executor/mod.rs
@@ -50,14 +50,14 @@ error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
5050
| ^^^^^^^^^^^^^^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjA`
5151
|
5252
= help: the following other types implement trait `FromInputValue<S>`:
53-
<bool as FromInputValue<__S>>
54-
<i32 as FromInputValue<__S>>
55-
<f64 as FromInputValue<__S>>
56-
<Box<T> as FromInputValue<S>>
57-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
5853
<Arc<T> as FromInputValue<S>>
54+
<Box<T> as FromInputValue<S>>
55+
<ID as FromInputValue<__S>>
5956
<TypeKind as FromInputValue<__S>>
6057
<Vec<T> as FromInputValue<S>>
58+
<[T; N] as FromInputValue<S>>
59+
<bool as FromInputValue<__S>>
60+
<f64 as FromInputValue<__S>>
6161
and $N others
6262
= note: this error originates in the attribute macro `graphql_object` (in Nightly builds, run with -Z macro-backtrace for more info)
6363

@@ -68,14 +68,14 @@ error[E0277]: the trait bound `ObjA: FromInputValue<__S>` is not satisfied
6868
| ^^^^ the trait `FromInputValue<__S>` is not implemented for `ObjA`
6969
|
7070
= help: the following other types implement trait `FromInputValue<S>`:
71-
<bool as FromInputValue<__S>>
72-
<i32 as FromInputValue<__S>>
73-
<f64 as FromInputValue<__S>>
74-
<Box<T> as FromInputValue<S>>
75-
<juniper::schema::model::DirectiveLocation as FromInputValue<__S>>
7671
<Arc<T> as FromInputValue<S>>
72+
<Box<T> as FromInputValue<S>>
73+
<ID as FromInputValue<__S>>
7774
<TypeKind as FromInputValue<__S>>
7875
<Vec<T> as FromInputValue<S>>
76+
<[T; N] as FromInputValue<S>>
77+
<bool as FromInputValue<__S>>
78+
<f64 as FromInputValue<__S>>
7979
and $N others
8080

8181
warning: unused variable: `obj`

tests/codegen/fail/object/argument_wrong_default_array.stderr

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,14 +5,14 @@ error[E0277]: the trait bound `[bool; 2]: From<[bool; 3]>` is not satisfied
55
| ^^^^^^^^^^^^^^^^^ the trait `From<[bool; 3]>` is not implemented for `[bool; 2]`, which is required by `[bool; 3]: Into<_>`
66
|
77
= help: the following other types implement trait `From<T>`:
8-
<[bool; N] as From<Mask<T, N>>>
9-
<[T; N] as From<Simd<T, N>>>
8+
<[T; 10] as From<(T, T, T, T, T, T, T, T, T, T)>>
9+
<[T; 11] as From<(T, T, T, T, T, T, T, T, T, T, T)>>
10+
<[T; 12] as From<(T, T, T, T, T, T, T, T, T, T, T, T)>>
1011
<[T; 1] as From<(T,)>>
1112
<[T; 2] as From<(T, T)>>
1213
<[T; 3] as From<(T, T, T)>>
1314
<[T; 4] as From<(T, T, T, T)>>
1415
<[T; 5] as From<(T, T, T, T, T)>>
15-
<[T; 6] as From<(T, T, T, T, T, T)>>
1616
and $N others
1717
= note: required for `[bool; 3]` to implement `Into<[bool; 2]>`
1818
= note: this error originates in the attribute macro `graphql_object` (in Nightly builds, run with -Z macro-backtrace for more info)

tests/codegen/fail/object/attr_field_non_output_return_type.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ error[E0277]: the trait bound `ObjB: IsOutputType<__S>` is not satisfied
55
| ^^^^^^^^^^^^^^^^^ the trait `IsOutputType<__S>` is not implemented for `ObjB`
66
|
77
= help: the following other types implement trait `IsOutputType<S>`:
8-
<bool as IsOutputType<__S>>
9-
<i32 as IsOutputType<__S>>
10-
<f64 as IsOutputType<__S>>
11-
<ObjA as IsOutputType<__S>>
12-
<Box<T> as IsOutputType<S>>
13-
<juniper::meta::Field<'a, S> as IsOutputType<S>>
8+
<&T as IsOutputType<S>>
9+
<Arc<T> as IsOutputType<S>>
1410
<Argument<'a, S> as IsOutputType<S>>
11+
<Box<T> as IsOutputType<S>>
1512
<EnumValue as IsOutputType<__S>>
13+
<ID as IsOutputType<__S>>
14+
<ObjA as IsOutputType<__S>>
15+
<SchemaType<'a, S> as IsOutputType<S>>
1616
and $N others

tests/codegen/fail/object/derive_field_non_output_return_type.stderr

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,12 @@ error[E0277]: the trait bound `ObjB: IsOutputType<__S>` is not satisfied
55
| ^^^^^^^^^^^^^ the trait `IsOutputType<__S>` is not implemented for `ObjB`
66
|
77
= help: the following other types implement trait `IsOutputType<S>`:
8-
<bool as IsOutputType<__S>>
9-
<i32 as IsOutputType<__S>>
10-
<f64 as IsOutputType<__S>>
11-
<ObjA as IsOutputType<__S>>
12-
<Box<T> as IsOutputType<S>>
13-
<juniper::meta::Field<'a, S> as IsOutputType<S>>
8+
<&T as IsOutputType<S>>
9+
<Arc<T> as IsOutputType<S>>
1410
<Argument<'a, S> as IsOutputType<S>>
11+
<Box<T> as IsOutputType<S>>
1512
<EnumValue as IsOutputType<__S>>
13+
<ID as IsOutputType<__S>>
14+
<ObjA as IsOutputType<__S>>
15+
<SchemaType<'a, S> as IsOutputType<S>>
1616
and $N others

0 commit comments

Comments
 (0)