mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

slight Default cleanup for option

Browse Source
This commit is contained in:
Rémy Rakic 2023-10-20 15:32:22 +00:00
parent fa45efaafb
commit d9c213cd5e
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_session/src/config.rs
View File

@ -3420,9 +3420,10 @@ impl DumpMonoStatsFormat {
/// `-Zpolonius` values, enabling the borrow checker polonius analysis, and which version: legacy, /// `-Zpolonius` values, enabling the borrow checker polonius analysis, and which version: legacy,
/// or future prototype. /// or future prototype.
#[derive(Clone, Copy, PartialEq, Hash, Debug)] #[derive(Clone, Copy, PartialEq, Hash, Debug, Default)]
pub enum Polonius { pub enum Polonius {
/// The default value: disabled. /// The default value: disabled.
#[default]
Off, Off,
/// Legacy version, using datalog and the `polonius-engine` crate. Historical value for `-Zpolonius`. /// Legacy version, using datalog and the `polonius-engine` crate. Historical value for `-Zpolonius`.
@ -3432,12 +3433,6 @@ pub enum Polonius {
Next, Next,
} }
impl Default for Polonius {
fn default() -> Self {
Polonius::Off
}
}
impl Polonius { impl Polonius {
/// Returns whether the legacy version of polonius is enabled /// Returns whether the legacy version of polonius is enabled
pub fn is_legacy_enabled(&self) -> bool { pub fn is_legacy_enabled(&self) -> bool {