Add regresion test for #67498

1 files changed, 21 insertions, 0 deletions

diff --git a/src/test/ui/lifetimes/issue-67498.rs b/src/test/ui/lifetimes/issue-67498.rs
new file mode 100644
index 00000000000..8d88264353a
--- /dev/null
+++ b/src/test/ui/lifetimes/issue-67498.rs
@@ -0,0 +1,21 @@
+// check-pass
+
+// Regression test for #67498.
+
+pub fn f<'a, 'b, 'd, 'e> (
+    x: for<'c> fn(
+        fn(&'c fn(&'c ())),
+        fn(&'c fn(&'c ())),
+        fn(&'c fn(&'c ())),
+        fn(&'c fn(&'c ())),
+    )
+) -> fn(
+        fn(&'a fn(&'d ())),
+        fn(&'b fn(&'d ())),
+        fn(&'a fn(&'e ())),
+        fn(&'b fn(&'e ())),
+) {
+    x
+}
+
+fn main() {}