From 960acb044bcefc46520cee263b6877160fd296ca Mon Sep 17 00:00:00 2001
From: Mazdak Farrokhzad <twingoow@gmail.com>
Date: Mon, 30 Dec 2019 07:27:56 +0100
Subject: Show scrutinee expr type for struct fields.

TODO: The type is wrong and will be fixed in later commits.
---
 src/test/ui/pattern/pat-struct-field-expr-has-type.rs     |  9 +++++++++
 src/test/ui/pattern/pat-struct-field-expr-has-type.stderr | 14 ++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 src/test/ui/pattern/pat-struct-field-expr-has-type.rs
 create mode 100644 src/test/ui/pattern/pat-struct-field-expr-has-type.stderr

(limited to 'src/test/ui/pattern')

diff --git a/src/test/ui/pattern/pat-struct-field-expr-has-type.rs b/src/test/ui/pattern/pat-struct-field-expr-has-type.rs
new file mode 100644
index 00000000000..1d18214de7f
--- /dev/null
+++ b/src/test/ui/pattern/pat-struct-field-expr-has-type.rs
@@ -0,0 +1,9 @@
+struct S {
+    f: u8,
+}
+
+fn main() {
+    match (S { f: 42 }) {
+        S { f: Ok(_) } => {} //~ ERROR mismatched types
+    }
+}
diff --git a/src/test/ui/pattern/pat-struct-field-expr-has-type.stderr b/src/test/ui/pattern/pat-struct-field-expr-has-type.stderr
new file mode 100644
index 00000000000..7962c376a92
--- /dev/null
+++ b/src/test/ui/pattern/pat-struct-field-expr-has-type.stderr
@@ -0,0 +1,14 @@
+error[E0308]: mismatched types
+  --> $DIR/pat-struct-field-expr-has-type.rs:7:16
+   |
+LL |     match (S { f: 42 }) {
+   |           ------------- this expression has type `u8`
+LL |         S { f: Ok(_) } => {}
+   |                ^^^^^ expected `u8`, found enum `std::result::Result`
+   |
+   = note: expected type `u8`
+              found enum `std::result::Result<_, _>`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.
-- 
cgit 1.4.1-3-g733a5