Add 82329

Issue: rust-lang/rust#82329
fanninpm · Feb 20, 2021 · 69a58fd · 69a58fd
1 parent b518f23
commit 69a58fd
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/ices/82329.sh b/ices/82329.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+rustc -Zunpretty=hir,typed - <<'EOF'
+pub fn main() {
+    if true {
+    } else if let a = 1 { //~ WARN irrefutable `if let`
+    }
+}
+EOF