1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/generator/issue-88653.rs b/src/test/ui/generator/issue-88653.rs
new file mode 100644
index 000000000..1d9377bce
--- /dev/null
+++ b/src/test/ui/generator/issue-88653.rs
@@ -0,0 +1,22 @@
+// Regression test for #88653, where a confusing warning about a
+// type mismatch in generator arguments was issued.
+
+#![feature(generators, generator_trait)]
+
+use std::ops::Generator;
+
+fn foo(bar: bool) -> impl Generator<(bool,)> {
+    //~^ ERROR: type mismatch in generator arguments [E0631]
+    //~| NOTE: expected due to this
+    //~| NOTE: expected generator signature `fn((bool,)) -> _`
+    //~| NOTE: in this expansion of desugaring of `impl Trait`
+    //~| NOTE: in this expansion of desugaring of `impl Trait`
+    |bar| {
+        //~^ NOTE: found signature defined here
+        if bar {
+            yield bar;
+        }
+    }
+}
+
+fn main() {}