1 files changed, 27 insertions, 0 deletions
diff --git a/src/test/ui/regions/regions-close-param-into-object.rs b/src/test/ui/regions/regions-close-param-into-object.rs
new file mode 100644
index 000000000..2760e5eed
--- /dev/null
+++ b/src/test/ui/regions/regions-close-param-into-object.rs
@@ -0,0 +1,27 @@
+trait X { fn foo(&self) {} }
+
+fn p1<T>(v: T) -> Box<dyn X + 'static>
+    where T : X
+{
+    Box::new(v) //~ ERROR parameter type `T` may not live long enough
+}
+
+fn p2<T>(v: Box<T>) -> Box<dyn X + 'static>
+    where Box<T> : X
+{
+    Box::new(v) //~ ERROR parameter type `T` may not live long enough
+}
+
+fn p3<'a,T>(v: T) -> Box<dyn X + 'a>
+    where T : X
+{
+    Box::new(v) //~ ERROR parameter type `T` may not live long enough
+}
+
+fn p4<'a,T>(v: Box<T>) -> Box<dyn X + 'a>
+    where Box<T> : X
+{
+    Box::new(v) //~ ERROR parameter type `T` may not live long enough
+}
+
+fn main() {}