diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-03 15:54:21 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-07-02 12:15:19 -0400 |
| commit | f0eebcd02f1dd123c0ff4e8ddf04a520cc1cf2a4 (patch) | |
| tree | 85aad46b166cea93b9aa023a9674922ea8c11576 /src/test | |
| parent | 02609b85e36fd9c049e1975171f65b47e3ccdd1b (diff) | |
| download | rust-f0eebcd02f1dd123c0ff4e8ddf04a520cc1cf2a4.tar.gz rust-f0eebcd02f1dd123c0ff4e8ddf04a520cc1cf2a4.zip | |
integrate pick constraints into lexical solver more completely
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/impl-trait/multiple-lifetimes/inverse-bounds.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/test/ui/impl-trait/multiple-lifetimes/inverse-bounds.rs b/src/test/ui/impl-trait/multiple-lifetimes/inverse-bounds.rs index 41d4b59e8f0..60275ac3ab0 100644 --- a/src/test/ui/impl-trait/multiple-lifetimes/inverse-bounds.rs +++ b/src/test/ui/impl-trait/multiple-lifetimes/inverse-bounds.rs @@ -13,9 +13,6 @@ impl<T> Trait<'_, '_> for T {} struct Invert<'a>(fn(&'a u8)); fn upper_bounds<'a, 'b, 'c, 'd, 'e>(a: Invert<'a>, b: Invert<'b>) -> impl Trait<'d, 'e> -//~^ ERROR hidden type for `impl Trait` captures lifetime that does not appear in bounds -// FIXME -- we ought to be able to pick `'d` here, but our handling of in constraints -// is not smart enough where 'c: 'a, 'c: 'b, |