Add test for issue #81193

This commit is contained in:
marmeladema 2021-04-23 17:58:43 +01:00
parent 8f41de595d
commit 3b96dfe1d4

View File

@ -0,0 +1,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() {}