From af90cac0e15de4479c8880f6ab80194a8d2b7291 Mon Sep 17 00:00:00 2001
From: Aliénore Bouttefeux <alienore.bouttefeux@gmail.com>
Date: Fri, 16 Apr 2021 17:04:15 +0200
Subject: fix reporting return type in some cases

---
 src/test/ui/closures/issue-84128.rs     | 16 ++++++++++++++++
 src/test/ui/closures/issue-84128.stderr | 15 +++++++++++++++
 2 files changed, 31 insertions(+)
 create mode 100644 src/test/ui/closures/issue-84128.rs
 create mode 100644 src/test/ui/closures/issue-84128.stderr

(limited to 'src')

diff --git a/src/test/ui/closures/issue-84128.rs b/src/test/ui/closures/issue-84128.rs
new file mode 100644
index 00000000000..f81d7cfaa65
--- /dev/null
+++ b/src/test/ui/closures/issue-84128.rs
@@ -0,0 +1,16 @@
+// test for issue 84128
+// missing suggestion for similar ADT type with diffetent generic paramenter
+// on closure ReturnNoExpression
+
+struct Foo<T>(T);
+
+fn main() {
+    || {
+        if false {
+            return Foo(0);
+        }
+
+        Foo(())
+        //~^ ERROR mismatched types [E0308]
+    };
+}
diff --git a/src/test/ui/closures/issue-84128.stderr b/src/test/ui/closures/issue-84128.stderr
new file mode 100644
index 00000000000..70d9273ddf7
--- /dev/null
+++ b/src/test/ui/closures/issue-84128.stderr
@@ -0,0 +1,15 @@
+error[E0308]: mismatched types
+  --> $DIR/issue-84128.rs:13:13
+   |
+LL |         Foo(())
+   |             ^^ expected integer, found `()`
+   |
+note: return type inferred to be `{integer}` here
+  --> $DIR/issue-84128.rs:10:20
+   |
+LL |             return Foo(0);
+   |                    ^^^^^^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.
-- 
cgit 1.4.1-3-g733a5