1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-close-object-into-object-5.rs b/src/test/ui/regions/regions-close-object-into-object-5.rs
new file mode 100644
index 000000000..d534c3749
--- /dev/null
+++ b/src/test/ui/regions/regions-close-object-into-object-5.rs
@@ -0,0 +1,25 @@
+#![allow(warnings)]
+
+
+trait A<T>
+{
+    fn get(&self) -> T { panic!() }
+}
+
+struct B<'a, T: 'a>(&'a (A<T> + 'a));
+
+trait X { fn foo(&self) {} }
+
+impl<'a, T> X for B<'a, T> {}
+
+fn f<'a, T, U>(v: Box<A<T> + 'static>) -> Box<X + 'static> {
+    // oh dear!
+    Box::new(B(&*v)) as Box<dyn X>
+    //~^ ERROR the parameter type `T` may not live long enough
+    //~| ERROR the parameter type `T` may not live long enough
+    //~| ERROR the parameter type `T` may not live long enough
+    //~| ERROR the parameter type `T` may not live long enough
+    //~| ERROR cannot return value referencing local data `*v` [E0515]
+}
+
+fn main() {}