switch polonius compare-mode to polonius=next

lqd · lqd · commit c9365940dc09 · 2025-06-27T09:05:40.000Z
diff --git a/src/tools/compiletest/src/runtest.rs b/src/tools/compiletest/src/runtest.rs
@@ -1739,7 +1739,7 @@ impl<'test> TestCx<'test> {
 
         match self.config.compare_mode {
             Some(CompareMode::Polonius) => {
-                rustc.args(&["-Zpolonius"]);
+                rustc.args(&["-Zpolonius=next"]);
             }
             Some(CompareMode::NextSolver) => {
                 rustc.args(&["-Znext-solver"]);

Original file line number	Diff line number	Diff line change
`@@ -1739,7 +1739,7 @@ impl<'test> TestCx<'test> {`
`1739`	`1739`
`1740`	`1740`	`match self.config.compare_mode {`
`1741`	`1741`	`Some(CompareMode::Polonius) => {`
`1742`		`- rustc.args(&["-Zpolonius"]);`
	`1742`	`+ rustc.args(&["-Zpolonius=next"]);`
`1743`	`1743`	`}`
`1744`	`1744`	`Some(CompareMode::NextSolver) => {`
`1745`	`1745`	`rustc.args(&["-Znext-solver"]);`