summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/region-escape-via-bound.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/region-escape-via-bound.rs')
-rw-r--r--src/test/ui/impl-trait/region-escape-via-bound.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/impl-trait/region-escape-via-bound.rs b/src/test/ui/impl-trait/region-escape-via-bound.rs
deleted file mode 100644
index fe60c76ca..000000000
--- a/src/test/ui/impl-trait/region-escape-via-bound.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// Test that we do not allow the region `'x` to escape in the impl
-// trait **even though** `'y` escapes, which outlives `'x`.
-//
-// See https://github.com/rust-lang/rust/issues/46541 for more details.
-
-#![allow(dead_code)]
-
-use std::cell::Cell;
-
-trait Trait<'a> { }
-
-impl<'a, 'b> Trait<'b> for Cell<&'a u32> { }
-
-fn foo<'x, 'y>(x: Cell<&'x u32>) -> impl Trait<'y>
-where 'x: 'y
-{
- x
- //~^ ERROR hidden type for `impl Trait<'y>` captures lifetime that does not appear in bounds [E0700]
-}
-
-fn main() { }