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

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