bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

unleashed Miri: open all the gates

Browse source
This commit is contained in:
Ralf Jung 2020-04-28 09:28:13 +02:00
parent eece58a8e3
commit e2c99f0deb
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/librustc_mir/transform/check_consts/validation.rs
View file

@ -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");