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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// check-pass

#![feature(associated_type_bounds)]

trait A<'a, 'b> {}

trait B<'a, 'b, 'c> {}

fn err<'u, 'a, F>()
where
    for<'b> F: Iterator<Item: for<'c> B<'a, 'b, 'c> + for<'c> A<'a, 'c>>,
{
}

fn main() {}