From: Esteban Küber <esteban@kuber.com.ar>
Date: Tue, 30 Apr 2019 03:58:29 +0000 (-0700)
Subject: Add if let test
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=6068478d56a05ab1aa4d9ad87046e1d5d47afd7f;p=rust.git

Add if let test
---

diff --git a/src/test/ui/suggestions/match-ergonomics.rs b/src/test/ui/suggestions/match-ergonomics.rs
index d75f8363cd2..c4fc01469bf 100644
--- a/src/test/ui/suggestions/match-ergonomics.rs
+++ b/src/test/ui/suggestions/match-ergonomics.rs
@@ -37,4 +37,5 @@ fn main() {
         v => {},
         _ => {},
     }
+    if let [&v] = &x[..] {} //~ ERROR mismatched types
 }
diff --git a/src/test/ui/suggestions/match-ergonomics.stderr b/src/test/ui/suggestions/match-ergonomics.stderr
index a064e2485ff..9915eeb34fa 100644
--- a/src/test/ui/suggestions/match-ergonomics.stderr
+++ b/src/test/ui/suggestions/match-ergonomics.stderr
@@ -35,7 +35,19 @@ help: you can rely on match ergonomics and remove the explicit borrow
 LL |         v => {},
    |         ^
 
-error: aborting due to 4 previous errors
+error[E0308]: mismatched types
+  --> $DIR/match-ergonomics.rs:40:13
+   |
+LL |     if let [&v] = &x[..] {}
+   |             ^^
+   |             |
+   |             expected i32, found reference
+   |             help: you can probably remove the explicit borrow: `v`
+   |
+   = note: expected type `i32`
+              found type `&_`
+
+error: aborting due to 5 previous errors
 
 Some errors have detailed explanations: E0308, E0529.
 For more information about an error, try `rustc --explain E0308`.