1 files changed, 11 insertions, 0 deletions
diff --git a/tests/ui/nll/issue-52533-1.rs b/tests/ui/nll/issue-52533-1.rs
new file mode 100644
index 000000000..d15daeddc
--- /dev/null
+++ b/tests/ui/nll/issue-52533-1.rs
@@ -0,0 +1,11 @@
+#![allow(warnings)]
+
+struct Foo<'a, 'b, T: 'a + 'b> { x: &'a T, y: &'b T }
+
+fn gimme(_: impl for<'a, 'b, 'c> FnOnce(&'a Foo<'a, 'b, u32>,
+                                        &'a Foo<'a, 'c, u32>) -> &'a Foo<'a, 'b, u32>) { }
+
+fn main() {
+    gimme(|x, y| y)
+    //~^ ERROR lifetime may not live long enough
+}