diff options
| author | Alexander Regueiro <alexreg@me.com> | 2019-06-02 19:31:55 +0100 |
|---|---|---|
| committer | Alexander Regueiro <alexreg@me.com> | 2019-06-05 21:09:27 +0100 |
| commit | 2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd (patch) | |
| tree | e843318a636805bb36fe780838c6e6611a972271 | |
| parent | 10b6daa6c8e1e4b2a041c3a28cae8e1c139c1bd2 (diff) | |
| download | rust-2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd.tar.gz rust-2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd.zip | |
Removed unnecessary nested-lifetime-bounds test.
| -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 - |
