src/test/rustdoc-json/generic-associated-types/gats.rs

   1 // ignore-tidy-linelength
   2
   3 #![no_core]
   4 #![feature(generic_associated_types, lang_items, no_core)]
   5
   6 #[lang = "sized"]
   7 pub trait Sized {}
   8
   9 pub trait Display {}
  10
  11 // @has gats.json
  12 pub trait LendingIterator {
  13     // @count - "$.index[*][?(@.name=='LendingItem')].inner.generics.params[*]" 1
  14     // @is - "$.index[*][?(@.name=='LendingItem')].inner.generics.params[*].name" \"\'a\"
  15     // @count - "$.index[*][?(@.name=='LendingItem')].inner.generics.where_predicates[*]" 1
  16     // @is - "$.index[*][?(@.name=='LendingItem')].inner.generics.where_predicates[*].bound_predicate.type.inner" \"Self\"
  17     // @is - "$.index[*][?(@.name=='LendingItem')].inner.generics.where_predicates[*].bound_predicate.bounds[*].outlives" \"\'a\"
  18     // @count - "$.index[*][?(@.name=='LendingItem')].inner.bounds[*]" 1
  19     type LendingItem<'a>: Display
  20     where
  21         Self: 'a;
  22
  23     // @is - "$.index[*][?(@.name=='lending_next')].inner.decl.output.kind" \"qualified_path\"
  24     // @count - "$.index[*][?(@.name=='lending_next')].inner.decl.output.inner.args.angle_bracketed.args[*]" 1
  25     // @count - "$.index[*][?(@.name=='lending_next')].inner.decl.output.inner.args.angle_bracketed.bindings[*]" 0
  26     // @is - "$.index[*][?(@.name=='lending_next')].inner.decl.output.inner.self_type.inner" \"Self\"
  27     // @is - "$.index[*][?(@.name=='lending_next')].inner.decl.output.inner.name" \"LendingItem\"
  28     fn lending_next<'a>(&'a self) -> Self::LendingItem<'a>;
  29 }
  30
  31 // @has gats.json
  32 pub trait Iterator {
  33     // @count - "$.index[*][?(@.name=='Item')].inner.generics.params[*]" 0
  34     // @count - "$.index[*][?(@.name=='Item')].inner.generics.where_predicates[*]" 0
  35     // @count - "$.index[*][?(@.name=='Item')].inner.bounds[*]" 1
  36     type Item: Display;
  37
  38     // @is - "$.index[*][?(@.name=='next')].inner.decl.output.kind" \"qualified_path\"
  39     // @count - "$.index[*][?(@.name=='next')].inner.decl.output.inner.args.angle_bracketed.args[*]" 0
  40     // @count - "$.index[*][?(@.name=='next')].inner.decl.output.inner.args.angle_bracketed.bindings[*]" 0
  41     // @is - "$.index[*][?(@.name=='next')].inner.decl.output.inner.self_type.inner" \"Self\"
  42     // @is - "$.index[*][?(@.name=='next')].inner.decl.output.inner.name" \"Item\"
  43     fn next<'a>(&'a self) -> Self::Item;
  44 }