Removed unnecessary nested-lifetime-bounds test.

This commit is contained in:
Alexander Regueiro 2019-06-02 19:31:55 +01:00
parent 10b6daa6c8
commit 2cdd7f8387
2 changed files with 0 additions and 33 deletions

View File

@ -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() {}

View File

@ -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