@@ -9,32 +9,32 @@ pub trait Foo {}
9
9
// @set generic_foo = generic_args.json "$.index[*][?(@.name=='GenericFoo')].id"
10
10
pub trait GenericFoo < ' a > { }
11
11
12
- // @is - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates" "[]"
13
12
// @count - "$.index[*][?(@.name=='generics')].inner.generics.params[*]" 1
14
13
// @is - "$.index[*][?(@.name=='generics')].inner.generics.params[0].name" '"F"'
15
14
// @is - "$.index[*][?(@.name=='generics')].inner.generics.params[0].kind.type.default" 'null'
16
- // @count - "$.index[*][?(@.name=='generics')].inner.generics.params[0].kind.type.bounds[*]" 1
17
- // @is - "$.index[*][?(@.name=='generics')].inner.generics.params[0].kind.type.bounds[0].trait_bound.trait.inner.id" '$foo'
18
15
// @count - "$.index[*][?(@.name=='generics')].inner.decl.inputs[*]" 1
19
16
// @is - "$.index[*][?(@.name=='generics')].inner.decl.inputs[0][0]" '"f"'
20
17
// @is - "$.index[*][?(@.name=='generics')].inner.decl.inputs[0][1].kind" '"generic"'
21
18
// @is - "$.index[*][?(@.name=='generics')].inner.decl.inputs[0][1].inner" '"F"'
19
+ // @count - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates" 1
20
+ // @is - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates[0].bound_predicate.type" '{"inner": "F", "kind": "generic"}'
21
+ // @count - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates[0].bound_predicate.bounds[*]" 1
22
+ // @is - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates[0].bound_predicate.bounds[0].trait_bound.trait.inner.id" '$foo'
22
23
pub fn generics < F : Foo > ( f : F ) { }
23
24
24
- // @is - "$.index[*][?(@.name=='impl_trait')].inner.generics.where_predicates" "[]"
25
25
// @count - "$.index[*][?(@.name=='impl_trait')].inner.generics.params[*]" 1
26
26
// @is - "$.index[*][?(@.name=='impl_trait')].inner.generics.params[0].name" '"impl Foo"'
27
- // @is - "$.index[*][?(@.name=='impl_trait')].inner.generics.params[0].kind.type.bounds[0].trait_bound.trait.inner.id" $foo
28
27
// @count - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[*]" 1
29
28
// @is - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][0]" '"f"'
30
29
// @is - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][1].kind" '"impl_trait"'
31
30
// @count - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][1].inner[*]" 1
32
31
// @is - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][1].inner[0].trait_bound.trait.inner.id" $foo
32
+ // @is - "$.index[*][?(@.name=='impl_trait')].inner.generics.where_predicates" '[]'
33
33
pub fn impl_trait ( f : impl Foo ) { }
34
34
35
35
// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.params[*]" 3
36
36
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.params[0].name" '"F"'
37
- // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.params[0].kind" '{"type": {"bounds": [], " default": null, "synthetic": false}}'
37
+ // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.params[0].kind" '{"type": {"default": null, "synthetic": false}}'
38
38
// @count - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[*]" 3
39
39
// @is - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[0][0]" '"f"'
40
40
// @is - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[0][1].kind" '"generic"'
@@ -50,7 +50,7 @@ pub fn impl_trait(f: impl Foo) {}
50
50
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.trait.inner.id" $generic_foo
51
51
// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[*]" 1
52
52
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].name" \"\'a\"
53
- // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].kind" '{ "lifetime": { "outlives": [] } } '
53
+ // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].kind" '"lifetime"'
54
54
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.generic_params" "[]"
55
55
56
56
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.type.kind" '"borrowed_ref"'
@@ -61,7 +61,7 @@ pub fn impl_trait(f: impl Foo) {}
61
61
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.generic_params" "[]"
62
62
// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.generic_params[*]" 1
63
63
// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.generic_params[0].name" \"\'b\"
64
- // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.generic_params[0].kind" '{ "lifetime": { "outlives": [] } } '
64
+ // @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.generic_params[0].kind" '"lifetime"'
65
65
pub fn where_clase < F , G , H > ( f : F , g : G , h : H )
66
66
where
67
67
F : Foo ,
0 commit comments