extend Polonius options helpers

Author: lqd

compiler/rustc_session/src/config.rs

@@ -3377,7 +3377,7 @@ pub enum Polonius {
     /// Legacy version, using datalog and the `polonius-engine` crate. Historical value for `-Zpolonius`.
     Legacy,
 
-    /// In-tree experimentation
+    /// In-tree prototype, extending the NLL infrastructure.
     Next,
 }
 
@@ -3392,4 +3392,9 @@ impl Polonius {
     pub fn is_legacy_enabled(&self) -> bool {
         matches!(self, Polonius::Legacy)
     }
+
+    /// Returns whether the "next" version of polonius is enabled
+    pub fn is_next_enabled(&self) -> bool {
+        matches!(self, Polonius::Next)
+    }
 }