1 files changed, 24 insertions, 0 deletions
diff --git a/tests/ui/impl-trait/recursive-coroutine.rs b/tests/ui/impl-trait/recursive-coroutine.rs
new file mode 100644
index 000000000..b82fe134a
--- /dev/null
+++ b/tests/ui/impl-trait/recursive-coroutine.rs
@@ -0,0 +1,24 @@
+// revisions: current next
+//[next] compile-flags: -Znext-solver
+#![feature(coroutines, coroutine_trait)]
+
+use std::ops::{Coroutine, CoroutineState};
+
+fn foo() -> impl Coroutine<Yield = (), Return = ()> {
+    //~^ ERROR cannot resolve opaque type
+    //~| NOTE recursive opaque type
+    //~| NOTE in this expansion of desugaring of
+    || {
+        let mut gen = Box::pin(foo());
+        //~^ NOTE coroutine captures itself here
+        let mut r = gen.as_mut().resume(());
+        while let CoroutineState::Yielded(v) = r {
+            yield v;
+            r = gen.as_mut().resume(());
+        }
+    }
+}
+
+fn main() {
+    foo();
+}