diff options
| -rw-r--r-- | src/test/ui/associated-type-bounds/nested-lifetime-bounds.rs | 25 | ||||
| -rw-r--r-- | src/test/ui/associated-type-bounds/nested-lifetime-bounds.stderr | 8 |
2 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/associated-type-bounds/nested-lifetime-bounds.rs b/src/test/ui/associated-type-bounds/nested-lifetime-bounds.rs deleted file mode 100644 index 25c2c2916f3..00000000000 --- a/src/test/ui/associated-type-bounds/nested-lifetime-bounds.rs +++ /dev/null @@ -1,25 +0,0 @@ -// compile-fail - -#![feature(associated_type_bounds)] - -use std::fmt::Debug; - -trait Lam<Binder> { type App; } - -fn nested_bounds<_0, _1, _2, D>() -where - D: Clone + Iterator<Item: Send + for<'a> Iterator<Item: for<'b> Lam<&'a &'b u8, App = _0>>>, - //~^ ERROR nested quantification of lifetimes [E0316] - _0: Debug, -{} - -fn nested_bounds_desugared<_0, _1, _2, D>() -where - D: Clone + Iterator<Item = _2>, - _2: Send + for<'a> Iterator, - for<'a> <_2 as Iterator>::Item: for<'b> Lam<&'a &'b u8, App = _0>, - //~^ ERROR nested quantification of lifetimes [E0316] - _0: Debug, -{} - -fn main() {} diff --git a/src/test/ui/associated-type-bounds/nested-lifetime-bounds.stderr b/src/test/ui/associated-type-bounds/nested-lifetime-bounds.stderr deleted file mode 100644 index db421e6973d..00000000000 --- a/src/test/ui/associated-type-bounds/nested-lifetime-bounds.stderr +++ /dev/null @@ -1,8 +0,0 @@ -error[E0316]: nested quantification of lifetimes - --> $DIR/nested-lifetime-bounds.rs:20:37 - | -LL | for<'a> <_2 as Iterator>::Item: for<'b> Lam<&'a &'b u8, App = _0>, - | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - -error: aborting due to previous error - |
