tests/ui/higher-rank-trait-bounds/issue-102899.rs

   1 // check-pass
   2
   3 pub trait BufferTrait<'buffer> {
   4     type Subset<'channel>
   5     where
   6         'buffer: 'channel;
   7
   8     fn for_each_subset<F>(&self, f: F)
   9     where
  10         F: for<'channel> Fn(Self::Subset<'channel>);
  11 }
  12
  13 pub struct SomeBuffer<'buffer> {
  14     samples: &'buffer [()],
  15 }
  16
  17 impl<'buffer> BufferTrait<'buffer> for SomeBuffer<'buffer> {
  18     type Subset<'subset> = Subset<'subset> where 'buffer: 'subset;
  19
  20     fn for_each_subset<F>(&self, _f: F)
  21     where
  22         F: for<'subset> Fn(Subset<'subset>),
  23     {
  24         todo!()
  25     }
  26 }
  27
  28 pub struct Subset<'subset> {
  29     buffer: &'subset [()],
  30 }
  31
  32 fn main() {}