Make clippy set mir_opt_level using Option
This commit is contained in:
parent
7984e60d9e
commit
0941fc0bb5
1 changed files with 1 additions and 1 deletions
|
@ -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
|
// 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
|
// MIR passes can be enabled / disabled separately, we should figure out, what passes to
|
||||||
// use for Clippy.
|
// use for Clippy.
|
||||||
config.opts.debugging_opts.mir_opt_level = 0;
|
config.opts.debugging_opts.mir_opt_level = Some(0);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue