From: Dylan MacKenzie <ecstaticmorse@gmail.com>
Date: Tue, 26 Nov 2019 19:36:53 +0000 (-0800)
Subject: Allow `Unreachable` terminators behind `const_if_match`
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=2626cfbb586800144e0fde579849f4afc813d5ff;p=rust.git

Allow `Unreachable` terminators behind `const_if_match`
---

diff --git a/src/librustc_mir/transform/qualify_min_const_fn.rs b/src/librustc_mir/transform/qualify_min_const_fn.rs
index 71f13c169d4..81f4c277f4d 100644
--- a/src/librustc_mir/transform/qualify_min_const_fn.rs
+++ b/src/librustc_mir/transform/qualify_min_const_fn.rs
@@ -337,6 +337,9 @@ fn check_terminator(
             check_operand(tcx, discr, span, def_id, body)
         }
 
+        // FIXME(ecstaticmorse): We probably want to allow `Unreachable` unconditionally.
+        TerminatorKind::Unreachable if tcx.features().const_if_match => Ok(()),
+
         | TerminatorKind::Abort | TerminatorKind::Unreachable => {
             Err((span, "const fn with unreachable code is not stable".into()))
         }