about summary refs log tree commit diff
diff options
context:
space:
mode:
authorAlexander Regueiro <alexreg@me.com>2019-06-02 19:31:55 +0100
committerAlexander Regueiro <alexreg@me.com>2019-06-05 21:09:27 +0100
commit2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd (patch)
treee843318a636805bb36fe780838c6e6611a972271
parent10b6daa6c8e1e4b2a041c3a28cae8e1c139c1bd2 (diff)
downloadrust-2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd.tar.gz
rust-2cdd7f8387bf1dc08bbd1c11abd83cb1f892e6cd.zip
Removed unnecessary nested-lifetime-bounds test.
-rw-r--r--src/test/ui/associated-type-bounds/nested-lifetime-bounds.rs25
-rw-r--r--src/test/ui/associated-type-bounds/nested-lifetime-bounds.stderr8
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
-