diff --git a/ices/65561.rs b/ices/65561.rs
new file mode 100644
index 00000000..80af55c6
--- /dev/null
+++ b/ices/65561.rs
@@ -0,0 +1,9 @@
+fn main() {
+    test();
+}
+
+fn test() -> impl TraitA {
+    test()
+}
+
+trait TraitA {}