|
1 |
| -//@ set foo = "$.index[?(@.name=='Foo')].id" |
| 1 | +//@ arg foo .index[] | select(.name == "Foo").id |
2 | 2 | pub trait Foo {}
|
3 | 3 |
|
4 |
| -//@ set generic_foo = "$.index[?(@.name=='GenericFoo')].id" |
| 4 | +//@ arg generic_foo .index[] | select(.name == "GenericFoo").id |
5 | 5 | pub trait GenericFoo<'a> {}
|
6 | 6 |
|
7 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.generics.where_predicates" "[]" |
8 |
| -//@ count "$.index[?(@.name=='generics')].inner.function.generics.params[*]" 1 |
9 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.generics.params[0].name" '"F"' |
10 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.generics.params[0].kind.type.default" 'null' |
11 |
| -//@ count "$.index[?(@.name=='generics')].inner.function.generics.params[0].kind.type.bounds[*]" 1 |
12 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.generics.params[0].kind.type.bounds[0].trait_bound.trait.id" '$foo' |
13 |
| -//@ count "$.index[?(@.name=='generics')].inner.function.sig.inputs[*]" 1 |
14 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.sig.inputs[0][0]" '"f"' |
15 |
| -//@ is "$.index[?(@.name=='generics')].inner.function.sig.inputs[0][1].generic" '"F"' |
| 7 | +//@ arg generics .index[] | select(.name == "generics").inner.function |
| 8 | +//@ jq $generics.generics?.where_predicates == [] |
| 9 | +//@ jq $generics.generics?.params[] | .name == "F" and .kind.type.default? == null and .kind.type.bounds?[].trait_bound.trait?.id == $foo |
| 10 | +//@ jq $generics.sig?.inputs[] | .[0] == "f" and .[1].generic == "F" |
16 | 11 | pub fn generics<F: Foo>(f: F) {}
|
17 | 12 |
|
18 |
| -//@ is "$.index[?(@.name=='impl_trait')].inner.function.generics.where_predicates" "[]" |
19 |
| -//@ count "$.index[?(@.name=='impl_trait')].inner.function.generics.params[*]" 1 |
20 |
| -//@ is "$.index[?(@.name=='impl_trait')].inner.function.generics.params[0].name" '"impl Foo"' |
21 |
| -//@ is "$.index[?(@.name=='impl_trait')].inner.function.generics.params[0].kind.type.bounds[0].trait_bound.trait.id" $foo |
22 |
| -//@ count "$.index[?(@.name=='impl_trait')].inner.function.sig.inputs[*]" 1 |
23 |
| -//@ is "$.index[?(@.name=='impl_trait')].inner.function.sig.inputs[0][0]" '"f"' |
24 |
| -//@ count "$.index[?(@.name=='impl_trait')].inner.function.sig.inputs[0][1].impl_trait[*]" 1 |
25 |
| -//@ is "$.index[?(@.name=='impl_trait')].inner.function.sig.inputs[0][1].impl_trait[0].trait_bound.trait.id" $foo |
| 13 | +//@ arg impl_trait .index[] | select(.name == "impl_trait").inner.function |
| 14 | +//@ jq $impl_trait.generics?.where_predicates == [] |
| 15 | +//@ jq $impl_trait.generics?.params[] | .name == "impl Foo" and .kind.type.bounds?[].trait_bound.trait?.id == $foo |
| 16 | +//@ jq $impl_trait.sig?.inputs[] | .[0] == "f" and .[1].impl_trait[]?.trait_bound.trait?.id == $foo |
26 | 17 | pub fn impl_trait(f: impl Foo) {}
|
27 | 18 |
|
28 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.params[*]" 3 |
29 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.params[0].name" '"F"' |
30 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.params[0].kind" '{"type": {"bounds": [], "default": null, "is_synthetic": false}}' |
31 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.sig.inputs[*]" 3 |
32 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.sig.inputs[0][0]" '"f"' |
33 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.sig.inputs[0][1].generic" '"F"' |
34 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[*]" 3 |
| 19 | +//@ arg where_clase .index[] | select(.name == "where_clase").inner.function |
| 20 | +//@ jq $where_clase.generics?.params | length == 3 |
| 21 | +//@ jq $where_clase.generics?.params[0] | .name == "F" and .kind == {"type": {"bounds": [], "default": null, "is_synthetic": false}} |
| 22 | +//@ jq $where_clase.sig?.inputs | length == 3 |
| 23 | +//@ jq $where_clase.sig?.inputs[0] | .[0] == "f" and .[1].generic == "F" |
| 24 | +//@ jq $where_clase.generics?.where_predicates | length == 3 |
35 | 25 |
|
36 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.type.generic" \"F\" |
37 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.bounds[*]" 1 |
38 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.bounds[0].trait_bound.trait.id" $foo |
| 26 | +//@ jq $where_clase.generics?.where_predicates[0].bound_predicate | .type?.generic == "F" and .bounds?[].trait_bound.trait?.id == $foo |
39 | 27 |
|
40 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.type.generic" \"G\" |
41 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[*]" 1 |
42 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.trait.id" $generic_foo |
43 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[*]" 1 |
44 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].name" \"\'a\" |
45 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].kind.lifetime.outlives" "[]" |
46 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.generic_params" "[]" |
| 28 | +//@ jq $where_clase.generics?.where_predicates[1].bound_predicate | .type?.generic == "G" and .generic_params? == [] |
| 29 | +//@ jq $where_clase.generics?.where_predicates[1].bound_predicate.bounds?[].trait_bound.trait?.id == $generic_foo |
| 30 | +//@ jq $where_clase.generics?.where_predicates[1].bound_predicate.bounds?[].trait_bound.generic_params?[] | .name == "'a" and .kind.lifetime.outlives? == [] |
47 | 31 |
|
48 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.type.borrowed_ref.lifetime" \"\'b\" |
49 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.type.borrowed_ref.type.generic" \"H\" |
50 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[*]" 1 |
51 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.trait.id" $foo |
52 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.generic_params" "[]" |
53 |
| -//@ count "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[*]" 1 |
54 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[0].name" \"\'b\" |
55 |
| -//@ is "$.index[?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[0].kind.lifetime.outlives" "[]" |
| 32 | +//@ jq $where_clase.generics?.where_predicates[2].bound_predicate.type?.borrowed_ref | .lifetime? == "'b" and .type?.generic == "H" |
| 33 | +//@ jq $where_clase.generics?.where_predicates[2].bound_predicate.bounds?[].trait_bound | .trait?.id == $foo and .generic_params? == [] |
| 34 | +//@ jq $where_clase.generics?.where_predicates[2].bound_predicate.generic_params?[] | .name == "'b" and .kind.lifetime.outlives? == [] |
56 | 35 | pub fn where_clase<F, G, H>(f: F, g: G, h: H)
|
57 | 36 | where
|
58 | 37 | F: Foo,
|
|
0 commit comments