tmp: turn -Zpolonius=next on by default

rust-lang · Nov 4, 2023 · 16af7f5 · 16af7f5
1 parent 2dff90d
commit 16af7f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/rustc_session/src/config.rs b/compiler/rustc_session/src/config.rs
@@ -3414,13 +3414,13 @@ impl DumpMonoStatsFormat {
 #[derive(Clone, Copy, PartialEq, Hash, Debug, Default)]
 pub enum Polonius {
     /// The default value: disabled.
-    #[default]
     Off,
 
     /// Legacy version, using datalog and the `polonius-engine` crate. Historical value for `-Zpolonius`.
     Legacy,
 
     /// In-tree prototype, extending the NLL infrastructure.
+    #[default]
     Next,
 }