src/test/ui/associated-type-bounds/issue-81193.rs

   1 // check-pass
   2
   3 #![feature(associated_type_bounds)]
   4
   5 trait A<'a, 'b> {}
   6
   7 trait B<'a, 'b, 'c> {}
   8
   9 fn err<'u, 'a, F>()
  10 where
  11     for<'b> F: Iterator<Item: for<'c> B<'a, 'b, 'c> + for<'c> A<'a, 'c>>,
  12 {
  13 }
  14
  15 fn main() {}