we have no whitelist any more, go back to opt-level 3

diff --git a/tests/compiletest.rs b/tests/compiletest.rs
index 31f0eb0c1386074bea90a3eefab6d3e1ac554348..f125100f834385b60f35bdd5ba94d0bd77314e43 100644 (file)
--- a/tests/compiletest.rs
+++ b/tests/compiletest.rs
@@ -77,9 +77,7 @@ fn miri_pass(path: &str, target: &str, opt: bool) {
     flags.push("-Dwarnings -Dunused".to_owned()); // overwrite the -Aunused in compiletest-rs
     flags.push("--edition 2018".to_owned());
     if opt {
-        // FIXME: We use opt level 1 because MIR inlining defeats the validation
-        // whitelist.
-        flags.push("-Zmir-opt-level=1".to_owned());
+        flags.push("-Zmir-opt-level=3".to_owned());
     }
 
     let mut config = mk_config("ui");