Skip to content

Commit

Permalink
Rollup merge of rust-lang#97894 - ehuss:fix-polonius-compare-mode, r=…
Browse files Browse the repository at this point in the history
…jackh726

Fix polonius compare mode.

This fixes running compiler tests in `--compare-mode=polonius`. The `-Zborrowck=mir` option was removed in rust-lang#95565.

r? ``@jackh726``
  • Loading branch information
matthiaskrgr authored Jun 8, 2022
2 parents c7d5fd2 + bcfced8 commit 758489f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/tools/compiletest/src/runtest.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1939,7 +1939,7 @@ impl<'test> TestCx<'test> {

match self.config.compare_mode {
Some(CompareMode::Polonius) => {
rustc.args(&["-Zpolonius", "-Zborrowck=mir"]);
rustc.args(&["-Zpolonius"]);
}
Some(CompareMode::Chalk) => {
rustc.args(&["-Zchalk"]);
Expand Down

0 comments on commit 758489f

Please sign in to comment.