1 // ignore-tidy-linelength
2
3 #![feature(no_core)]
4 #![no_core]
5
6 // @set foo = "$.index[*][?(@.name=='Foo')].id"
7 pub trait Foo {}
8
9 // @set generic_foo = "$.index[*][?(@.name=='GenericFoo')].id"
10 pub trait GenericFoo<'a> {}
11
12 // @is "$.index[*][?(@.name=='generics')].inner.function.generics.where_predicates" "[]"
13 // @count "$.index[*][?(@.name=='generics')].inner.function.generics.params[*]" 1
14 // @is "$.index[*][?(@.name=='generics')].inner.function.generics.params[0].name" '"F"'
15 // @is "$.index[*][?(@.name=='generics')].inner.function.generics.params[0].kind.type.default" 'null'
16 // @count "$.index[*][?(@.name=='generics')].inner.function.generics.params[0].kind.type.bounds[*]" 1
17 // @is "$.index[*][?(@.name=='generics')].inner.function.generics.params[0].kind.type.bounds[0].trait_bound.trait.id" '$foo'
18 // @count "$.index[*][?(@.name=='generics')].inner.function.decl.inputs[*]" 1
19 // @is "$.index[*][?(@.name=='generics')].inner.function.decl.inputs[0][0]" '"f"'
20 // @is "$.index[*][?(@.name=='generics')].inner.function.decl.inputs[0][1].generic" '"F"'
generics<F: Foo>(f: F)21 pub fn generics<F: Foo>(f: F) {}
22
23 // @is "$.index[*][?(@.name=='impl_trait')].inner.function.generics.where_predicates" "[]"
24 // @count "$.index[*][?(@.name=='impl_trait')].inner.function.generics.params[*]" 1
25 // @is "$.index[*][?(@.name=='impl_trait')].inner.function.generics.params[0].name" '"impl Foo"'
26 // @is "$.index[*][?(@.name=='impl_trait')].inner.function.generics.params[0].kind.type.bounds[0].trait_bound.trait.id" $foo
27 // @count "$.index[*][?(@.name=='impl_trait')].inner.function.decl.inputs[*]" 1
28 // @is "$.index[*][?(@.name=='impl_trait')].inner.function.decl.inputs[0][0]" '"f"'
29 // @count "$.index[*][?(@.name=='impl_trait')].inner.function.decl.inputs[0][1].impl_trait[*]" 1
30 // @is "$.index[*][?(@.name=='impl_trait')].inner.function.decl.inputs[0][1].impl_trait[0].trait_bound.trait.id" $foo
impl_trait(f: impl Foo)31 pub fn impl_trait(f: impl Foo) {}
32
33 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.params[*]" 3
34 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.params[0].name" '"F"'
35 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.params[0].kind" '{"type": {"bounds": [], "default": null, "synthetic": false}}'
36 // @count "$.index[*][?(@.name=='where_clase')].inner.function.decl.inputs[*]" 3
37 // @is "$.index[*][?(@.name=='where_clase')].inner.function.decl.inputs[0][0]" '"f"'
38 // @is "$.index[*][?(@.name=='where_clase')].inner.function.decl.inputs[0][1].generic" '"F"'
39 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[*]" 3
40
41 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.type.generic" \"F\"
42 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.bounds[*]" 1
43 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[0].bound_predicate.bounds[0].trait_bound.trait.id" $foo
44
45 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.type.generic" \"G\"
46 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[*]" 1
47 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.trait.id" $generic_foo
48 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[*]" 1
49 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].name" \"\'a\"
50 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.bounds[0].trait_bound.generic_params[0].kind.lifetime.outlives" "[]"
51 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[1].bound_predicate.generic_params" "[]"
52
53 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.type.borrowed_ref.lifetime" \"\'b\"
54 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.type.borrowed_ref.type.generic" \"H\"
55 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[*]" 1
56 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.trait.id" $foo
57 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.bounds[0].trait_bound.generic_params" "[]"
58 // @count "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[*]" 1
59 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[0].name" \"\'b\"
60 // @is "$.index[*][?(@.name=='where_clase')].inner.function.generics.where_predicates[2].bound_predicate.generic_params[0].kind.lifetime.outlives" "[]"
where_clase<F, G, H>(f: F, g: G, h: H) where F: Foo, G: for<'a> GenericFoo<'a>, for<'b> &'b H: Foo,61 pub fn where_clase<F, G, H>(f: F, g: G, h: H)
62 where
63 F: Foo,
64 G: for<'a> GenericFoo<'a>,
65 for<'b> &'b H: Foo,
66 {
67 }
68