about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2020-04-28 09:28:13 +0200
committerRalf Jung <post@ralfj.de>2020-04-30 18:58:50 +0200
commite2c99f0debfa6b13dc01565e18fc554373d57009 (patch)
tree99d6c28fc2514c9e7239e4d25bffe0ab14b34627 /src
parenteece58a8e35c444afba6fa34873bc0244e32cd29 (diff)
downloadrust-e2c99f0debfa6b13dc01565e18fc554373d57009.tar.gz
rust-e2c99f0debfa6b13dc01565e18fc554373d57009.zip
unleashed Miri: open all the gates
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/transform/check_consts/validation.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc_mir/transform/check_consts/validation.rs b/src/librustc_mir/transform/check_consts/validation.rs
index c5938426f61..dd0df72a0c4 100644
--- a/src/librustc_mir/transform/check_consts/validation.rs
+++ b/src/librustc_mir/transform/check_consts/validation.rs
@@ -248,9 +248,9 @@ impl Validator<'mir, 'tcx> {
             return;
         }
 
-        // If an operation is supported in miri (and is not already controlled by a feature gate) it
-        // can be turned on with `-Zunleash-the-miri-inside-of-you`.
-        let is_unleashable = O::IS_SUPPORTED_IN_MIRI && O::feature_gate().is_none();
+        // If an operation is supported in miri it can be turned on with
+        // `-Zunleash-the-miri-inside-of-you`.
+        let is_unleashable = O::IS_SUPPORTED_IN_MIRI;
 
         if is_unleashable && self.tcx.sess.opts.debugging_opts.unleash_the_miri_inside_of_you {
             self.tcx.sess.span_warn(span, "skipping const checks");