From 40b57be5478935764ddfc45501169dbf921e939f Mon Sep 17 00:00:00 2001 From: LeSeulArtichaut <leseulartichaut@gmail.com> Date: Tue, 27 Jul 2021 19:47:39 +0200 Subject: [PATCH] Don't run MIR unsafeck at all when using `-Zthir-unsafeck` --- compiler/rustc_mir/src/transform/mod.rs | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/compiler/rustc_mir/src/transform/mod.rs b/compiler/rustc_mir/src/transform/mod.rs index 3fbc81d5426ee..e58a7d903082e 100644 --- a/compiler/rustc_mir/src/transform/mod.rs +++ b/compiler/rustc_mir/src/transform/mod.rs @@ -259,10 +259,12 @@ fn mir_const<'tcx>( } // Unsafety check uses the raw mir, so make sure it is run. - if let Some(param_did) = def.const_param_did { - tcx.ensure().unsafety_check_result_for_const_arg((def.did, param_did)); - } else { - tcx.ensure().unsafety_check_result(def.did); + if !tcx.sess.opts.debugging_opts.thir_unsafeck { + if let Some(param_did) = def.const_param_did { + tcx.ensure().unsafety_check_result_for_const_arg((def.did, param_did)); + } else { + tcx.ensure().unsafety_check_result(def.did); + } } let mut body = tcx.mir_built(def).steal();