src/test/rustdoc-json/type/fn_lifetime.rs

   1 // ignore-tidy-linelength
   2
   3 // @is fn_lifetime.json "$.index[*][?(@.name=='GenericFn')].kind" \"typedef\"
   4
   5 // @count - "$.index[*][?(@.name=='GenericFn')].inner.generics.params[*]" 1
   6 // @is    - "$.index[*][?(@.name=='GenericFn')].inner.generics.params[*].name" \"\'a\"
   7 // @has   - "$.index[*][?(@.name=='GenericFn')].inner.generics.params[*].kind.lifetime"
   8 // @count - "$.index[*][?(@.name=='GenericFn')].inner.generics.params[*].kind.lifetime.outlives[*]" 0
   9 // @count - "$.index[*][?(@.name=='GenericFn')].inner.generics.where_predicates[*]" 0
  10 // @is    - "$.index[*][?(@.name=='GenericFn')].inner.type.kind" \"function_pointer\"
  11 // @count - "$.index[*][?(@.name=='GenericFn')].inner.type.inner.generic_params[*]" 0
  12 // @count - "$.index[*][?(@.name=='GenericFn')].inner.type.inner.decl.inputs[*]" 1
  13 // @is    - "$.index[*][?(@.name=='GenericFn')].inner.type.inner.decl.inputs[*][1].inner.lifetime" \"\'a\"
  14 // @is    - "$.index[*][?(@.name=='GenericFn')].inner.type.inner.decl.output.inner.lifetime" \"\'a\"
  15
  16 pub type GenericFn<'a> = fn(&'a i32) -> &'a i32;
  17
  18 // @is fn_lifetime.json "$.index[*][?(@.name=='ForAll')].kind" \"typedef\"
  19 // @count - "$.index[*][?(@.name=='ForAll')].inner.generics.params[*]" 0
  20 // @count - "$.index[*][?(@.name=='ForAll')].inner.generics.where_predicates[*]" 0
  21 // @count - "$.index[*][?(@.name=='ForAll')].inner.type.inner.generic_params[*]" 1
  22 // @is    - "$.index[*][?(@.name=='ForAll')].inner.type.inner.generic_params[*].name" \"\'a\"
  23 // @has   - "$.index[*][?(@.name=='ForAll')].inner.type.inner.generic_params[*].kind.lifetime"
  24 // @count - "$.index[*][?(@.name=='ForAll')].inner.type.inner.generic_params[*].kind.lifetime.outlives[*]" 0
  25 // @count - "$.index[*][?(@.name=='ForAll')].inner.type.inner.decl.inputs[*]" 1
  26 // @is    - "$.index[*][?(@.name=='ForAll')].inner.type.inner.decl.inputs[*][1].inner.lifetime" \"\'a\"
  27 // @is    - "$.index[*][?(@.name=='ForAll')].inner.type.inner.decl.output.inner.lifetime" \"\'a\"
  28 pub type ForAll = for<'a> fn(&'a i32) -> &'a i32;