Skip to content
Merged
Prev Previous commit
Next Next commit
Make clippy set mir_opt_level using Option
  • Loading branch information
spastorino committed Mar 5, 2021
commit 03c1f1762c30304aae9d5c62e24484b872576ebb
2 changes: 1 addition & 1 deletion src/tools/clippy/src/driver.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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);
}
}

Expand Down