1 files changed, 15 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-75777.rs b/src/test/ui/issues/issue-75777.rs
new file mode 100644
index 000000000..a1e438bc6
--- /dev/null
+++ b/src/test/ui/issues/issue-75777.rs
@@ -0,0 +1,15 @@
+// Regression test for #75777.
+// Checks that a boxed future can be properly constructed.
+
+use std::future::{self, Future};
+use std::pin::Pin;
+
+type BoxFuture<'a, T> = Pin<Box<dyn Future<Output = T> + 'a + Send>>;
+
+fn inject<'a, Env: 'a, A: 'a + Send>(v: A) -> Box<dyn FnOnce(&'a Env) -> BoxFuture<'a, A>> {
+    let fut: BoxFuture<'a, A> = Box::pin(future::ready(v));
+    Box::new(move |_| fut)
+    //~^ ERROR: lifetime may not live long enough
+}
+
+fn main() {}