Enum MirLevel

pub enum MirLevel {
    Built,
    Promoted,
    Elaborated,
    Optimized,
}

The MIR stage to use. This is only relevant for the current crate: for dependencies, only mir optimized is available (or mir elaborated for consts).

Variants

Built

The MIR just after MIR lowering.

Promoted

The MIR after const promotion. This is the MIR used by the borrow-checker.

Elaborated

The MIR after drop elaboration. This is the first MIR to include all the runtime information.

Optimized

The MIR after optimizations. Charon disables all the optimizations it can, so this is sensibly the same MIR as the elaborated MIR.

Trait Implementations

impl Clone for MirLevel

fn clone(&self) -> MirLevel

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MirLevel

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MirLevel

fn default() -> MirLevel

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for MirLevel

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Ord for MirLevel

fn cmp(&self, other: &MirLevel) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for MirLevel

fn eq(&self, other: &MirLevel) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for MirLevel

fn partial_cmp(&self, other: &MirLevel) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for MirLevel

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl ValueEnum for MirLevel

fn value_variants<'a>() -> &'a [Self]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for MirLevel

impl Eq for MirLevel

impl StructuralPartialEq for MirLevel