tmp: how trash is this prototype currently?

Author: lqd

compiler/rustc_session/src/config.rs

@@ -3385,13 +3385,13 @@ impl PatchableFunctionEntry {
 #[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,
 }