switch polonius compare-mode to polonius=next

lqd · lqd · commit 9a755a4cc401 · 2025-07-02T09:19:53.000Z
diff --git a/src/tools/compiletest/src/runtest.rs b/src/tools/compiletest/src/runtest.rs
@@ -1742,7 +1742,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
`@@ -1742,7 +1742,7 @@ impl<'test> TestCx<'test> {`
`1742`	`1742`
`1743`	`1743`	`match self.config.compare_mode {`
`1744`	`1744`	`Some(CompareMode::Polonius) => {`
`1745`		`- rustc.args(&["-Zpolonius"]);`
	`1745`	`+ rustc.args(&["-Zpolonius=next"]);`
`1746`	`1746`	`}`
`1747`	`1747`	`Some(CompareMode::NextSolver) => {`
`1748`	`1748`	`rustc.args(&["-Znext-solver"]);`