From 1b681d6652bacce6b741ca66725f25b9afb16bc8 Mon Sep 17 00:00:00 2001
From: Aaron Hill <aa1ronham@gmail.com>
Date: Wed, 19 Feb 2020 11:01:51 -0500
Subject: [PATCH] Test that cfg-gated if-exprs are not type-checked

---
 src/test/ui/if-attrs/cfg-false-if-attr.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/test/ui/if-attrs/cfg-false-if-attr.rs b/src/test/ui/if-attrs/cfg-false-if-attr.rs
index 2932ec1a2319..1f77a1bb3427 100644
--- a/src/test/ui/if-attrs/cfg-false-if-attr.rs
+++ b/src/test/ui/if-attrs/cfg-false-if-attr.rs
@@ -19,6 +19,18 @@ fn if_let() {
     #[attr] if let Some(_) = Some(true) {}
 }
 
+fn bar() {
+    #[cfg(FALSE)]
+    if true {
+        let x: () = true; // Should not error due to the #[cfg(FALSE)]
+    }
+
+    #[cfg_attr(not(unset_attr), cfg(FALSE))]
+    if true {
+        let a: () = true; // Should not error due to the applied #[cfg(FALSE)]
+    }
+}
+
 macro_rules! custom_macro {
     ($expr:expr) => {}
 }