src/test/ui/lifetimes/issue-76168-hr-outlives-2.rs

   1 // edition:2018
   2 // check-pass
   3
   4 trait Trait<Input> {
   5     type Output;
   6 }
   7
   8 async fn walk<F>(filter: F)
   9 where
  10     for<'a> F: Trait<&'a u32> + 'a,
  11     for<'a> <F as Trait<&'a u32>>::Output: 'a,
  12 {
  13 }
  14
  15 async fn walk2<F: 'static>(filter: F)
  16 where
  17     for<'a> F: Trait<&'a u32> + 'a,
  18     for<'a> <F as Trait<&'a u32>>::Output: 'a,
  19 {
  20 }
  21
  22 fn main() {}