From dbe911ff36316c08f1e3316e593c96512d6860d7 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <jtitor@2k36.org>
Date: Fri, 27 Jan 2023 19:46:56 +0900
Subject: [PATCH] Add regression test for #60755

Signed-off-by: Yuki Okushi <jtitor@2k36.org>
---
 tests/ui/traits/alias/issue-60755.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 tests/ui/traits/alias/issue-60755.rs

diff --git a/tests/ui/traits/alias/issue-60755.rs b/tests/ui/traits/alias/issue-60755.rs
new file mode 100644
index 0000000000000..6b955a752479f
--- /dev/null
+++ b/tests/ui/traits/alias/issue-60755.rs
@@ -0,0 +1,12 @@
+// check-pass
+
+#![feature(trait_alias)]
+
+struct MyStruct {}
+trait MyFn = Fn(&MyStruct);
+
+fn foo(_: impl MyFn) {}
+
+fn main() {
+    foo(|_| {});
+}