Make clippy set mir_opt_level using Option

flip1995 · Mar 5, 2021 · 0941fc0 · 0941fc0
1 parent 7984e60
commit 0941fc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/driver.rs b/src/driver.rs
@@ -83,7 +83,7 @@ impl rustc_driver::Callbacks for ClippyCallbacks {
         // run on the unoptimized MIR. On the other hand this results in some false negatives. If
         // MIR passes can be enabled / disabled separately, we should figure out, what passes to
         // use for Clippy.
-        config.opts.debugging_opts.mir_opt_level = 0;
+        config.opts.debugging_opts.mir_opt_level = Some(0);
     }
 }