From 0f2a2fbc0545799d83d01c2f35703edfbb8331dd Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Thu, 9 Jun 2022 00:09:28 +0900
Subject: [PATCH] Add regresion test for #67498

---
 src/test/ui/lifetimes/issue-67498.rs | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/test/ui/lifetimes/issue-67498.rs

diff --git a/src/test/ui/lifetimes/issue-67498.rs b/src/test/ui/lifetimes/issue-67498.rs
new file mode 100644
index 0000000000000..8d88264353a72
--- /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() {}