@@ -9,32 +9,32 @@ pub trait Foo {}
99// @set generic_foo = generic_args.json "$.index[*][?(@.name=='GenericFoo')].id"
1010pub trait GenericFoo < ' a > { }
1111
12- // @is - "$.index[*][?(@.name=='generics')].inner.generics.where_predicates" "[]"
1312// @count - "$.index[*][?(@.name=='generics')].inner.generics.params[*]" 1
1413// @is - "$.index[*][?(@.name=='generics')].inner.generics.params[0].name" '"F"'
1514// @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'
1815// @count - "$.index[*][?(@.name=='generics')].inner.decl.inputs[*]" 1
1916// @is - "$.index[*][?(@.name=='generics')].inner.decl.inputs[0][0]" '"f"'
2017// @is - "$.index[*][?(@.name=='generics')].inner.decl.inputs[0][1].kind" '"generic"'
2118// @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'
2223pub fn generics < F : Foo > ( f : F ) { }
2324
24- // @is - "$.index[*][?(@.name=='impl_trait')].inner.generics.where_predicates" "[]"
2525// @count - "$.index[*][?(@.name=='impl_trait')].inner.generics.params[*]" 1
2626// @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
2827// @count - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[*]" 1
2928// @is - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][0]" '"f"'
3029// @is - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][1].kind" '"impl_trait"'
3130// @count - "$.index[*][?(@.name=='impl_trait')].inner.decl.inputs[0][1].inner[*]" 1
3231// @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" '[]'
3333pub fn impl_trait ( f : impl Foo ) { }
3434
3535// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.params[*]" 3
3636// @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}}'
3838// @count - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[*]" 3
3939// @is - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[0][0]" '"f"'
4040// @is - "$.index[*][?(@.name=='where_clase')].inner.decl.inputs[0][1].kind" '"generic"'
@@ -50,7 +50,7 @@ pub fn impl_trait(f: impl Foo) {}
5050// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.trait.inner.id" $generic_foo
5151// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[*]" 1
5252// @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"'
5454// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[1].bound_predicate.generic_params" "[]"
5555
5656// @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) {}
6161// @is - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.generic_params" "[]"
6262// @count - "$.index[*][?(@.name=='where_clase')].inner.generics.where_predicates[2].bound_predicate.generic_params[*]" 1
6363// @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"'
6565pub fn where_clase < F , G , H > ( f : F , g : G , h : H )
6666where
6767 F : Foo ,
0 commit comments