From 732de247f5ba9ac1a0bce02d544484baeda6fd48 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Wed, 14 Dec 2022 18:14:00 +0900
Subject: [PATCH] Add regression test for #55976

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
---
 src/test/ui/codegen/issue-55976.rs | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 src/test/ui/codegen/issue-55976.rs

diff --git a/src/test/ui/codegen/issue-55976.rs b/src/test/ui/codegen/issue-55976.rs
new file mode 100644
index 0000000000000..fee54fc6206db
--- /dev/null
+++ b/src/test/ui/codegen/issue-55976.rs
@@ -0,0 +1,11 @@
+// run-pass
+// ^-- The above is needed as this issue is related to LLVM/codegen.
+
+fn main() {
+    type_error(|x| &x);
+}
+
+fn type_error<T>(
+    _selector: for<'a> fn(&'a Vec<Box<dyn for<'b> Fn(&'b u8)>>) -> &'a Vec<Box<dyn Fn(T)>>,
+) {
+}