user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

switch polonius compare-mode to polonius=next

Browse source
This commit is contained in:
Rémy Rakic 2025-02-14 11:06:06 +00:00
parent 2886b36df4
commit 43327b5da6
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/compiletest/src/runtest.rs
View file

@ -1766,7 +1766,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"]);