diff options
| author | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-02-14 11:06:06 +0000 |
|---|---|---|
| committer | Rémy Rakic <remy.rakic+github@gmail.com> | 2025-08-08 14:10:41 +0000 |
| commit | 43327b5da6bc4ccbddebb935b1bcf362ccb8f993 (patch) | |
| tree | 2d6c55cb31035a6f1a59d518f5ad1fe2ad96b321 /src | |
| parent | 2886b36df4a646dd8d82fb65bf0c9d8d96c1f71a (diff) | |
| download | rust-43327b5da6bc4ccbddebb935b1bcf362ccb8f993.tar.gz rust-43327b5da6bc4ccbddebb935b1bcf362ccb8f993.zip | |
switch polonius compare-mode to polonius=next
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/compiletest/src/runtest.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/compiletest/src/runtest.rs b/src/tools/compiletest/src/runtest.rs index f283a625f97..debf67e2741 100644 --- a/src/tools/compiletest/src/runtest.rs +++ b/src/tools/compiletest/src/runtest.rs @@ -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"]); |