From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/ui/expr/if/if-let.rs | 49 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 src/test/ui/expr/if/if-let.rs

(limited to 'src/test/ui/expr/if/if-let.rs')

diff --git a/src/test/ui/expr/if/if-let.rs b/src/test/ui/expr/if/if-let.rs
new file mode 100644
index 000000000..7fdd2be95
--- /dev/null
+++ b/src/test/ui/expr/if/if-let.rs
@@ -0,0 +1,49 @@
+// check-pass
+
+fn macros() {
+    macro_rules! foo {
+        ($p:pat, $e:expr, $b:block) => {{
+            if let $p = $e $b
+            //~^ WARN irrefutable `if let`
+            //~| WARN irrefutable `if let`
+        }}
+    }
+    macro_rules! bar{
+        ($p:pat, $e:expr, $b:block) => {{
+            foo!($p, $e, $b)
+        }}
+    }
+
+    foo!(a, 1, {
+        println!("irrefutable pattern");
+    });
+    bar!(a, 1, {
+        println!("irrefutable pattern");
+    });
+}
+
+pub fn main() {
+    if let a = 1 { //~ WARN irrefutable `if let`
+        println!("irrefutable pattern");
+    }
+
+    if let a = 1 { //~ WARN irrefutable `if let`
+        println!("irrefutable pattern");
+    } else if true {
+        println!("else-if in irrefutable `if let`");
+    } else {
+        println!("else in irrefutable `if let`");
+    }
+
+    if let 1 = 2 {
+        println!("refutable pattern");
+    } else if let a = 1 { //~ WARN irrefutable `if let`
+        println!("irrefutable pattern");
+    }
+
+    if true {
+        println!("if");
+    } else if let a = 1 { //~ WARN irrefutable `if let`
+        println!("irrefutable pattern");
+    }
+}
-- 
cgit v1.2.3