Fix polonius compare mode.

2026-05-04 09:53:04 +03:00 · 2022-06-08 11:53:16 -07:00
parent 09d52bc5d4
commit bcfced862d
1 changed files with 1 additions and 1 deletions
@@ -1939,7 +1939,7 @@ fn make_compile_args(

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