1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/type-alias-impl-trait/issue-57611-trait-alias.rs b/tests/ui/type-alias-impl-trait/issue-57611-trait-alias.rs
new file mode 100644
index 000000000..cad3e0f66
--- /dev/null
+++ b/tests/ui/type-alias-impl-trait/issue-57611-trait-alias.rs
@@ -0,0 +1,26 @@
+// check-pass
+// Regression test for issue #57611
+// Ensures that we don't ICE
+
+#![feature(trait_alias)]
+#![feature(type_alias_impl_trait)]
+
+trait Foo {
+    type Bar: Baz<Self, Self>;
+
+    fn bar(&self) -> Self::Bar;
+}
+
+struct X;
+
+impl Foo for X {
+    type Bar = impl Baz<Self, Self>;
+
+    fn bar(&self) -> Self::Bar {
+        |x| x
+    }
+}
+
+trait Baz<A: ?Sized, B: ?Sized> = Fn(&A) -> &B;
+
+fn main() {}