Make clippy set mir_opt_level using Option

This commit is contained in:
Santiago Pastorino 2021-03-03 23:33:18 -03:00
parent 421fd8ebbc
commit 03c1f1762c
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF
1 changed files with 1 additions and 1 deletions

View File

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