Enum Statement 

pub enum Statement {
    Assign {
        destination: PlaceExpr,
        source: ValueExpr,
    },
    PlaceMention(PlaceExpr),
    SetDiscriminant {
        destination: PlaceExpr,
        value: Int,
    },
    Validate {
        place: PlaceExpr,
        fn_entry: bool,
    },
    Deinit {
        place: PlaceExpr,
    },
    StorageLive(LocalName),
    StorageDead(LocalName),
}

Variants

Assign

Copy value from source to destination.

Fields

destination: PlaceExpr

source: ValueExpr

PlaceMention(PlaceExpr)

Evaluate a place without accessing it. This is the result of translating e.g. let _ = place;.

SetDiscriminant

Set the discriminant of the variant at destination to value.

Fields

destination: PlaceExpr

value: Int

Validate

Ensure that place contains a valid value of its type (else UB). Also perform retagging and ensure safe pointers are dereferenceable.

The frontend is generally expected to generate this for all function argument, and possibly in more places.

Fields

place: PlaceExpr

fn_entry: bool

Indicates whether this operation occurs as part of the prelude that we have at the top of each function (which affects retagging).

Deinit

De-initialize a place.

Fields

place: PlaceExpr

StorageLive(LocalName)

Allocate the backing store for this local.

StorageDead(LocalName)

Deallocate the backing store for this local.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Statement

impl Debug for Statement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Statement

fn deserialize<__D>( __deserializer: __D, ) -> Result<Statement, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Statement

impl Hash for Statement

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Statement

fn cmp(&self, other: &Statement) -> 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.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Statement

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Statement

fn partial_cmp(&self, other: &Statement) -> 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 Statement

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Statement