Enum rustc_middle::mir::visit::MutatingUseContext

pub enum MutatingUseContext {
    Store,
    SetDiscriminant,
    Deinit,
    AsmOutput,
    Call,
    Yield,
    Drop,
    Borrow,
    AddressOf,
    Projection,
    Retag,
}

Variants

Store

Appears as LHS of an assignment.

SetDiscriminant

Appears on SetDiscriminant

Deinit

Appears on Deinit

AsmOutput

Output operand of an inline assembly block.

Call

Destination of a call.

Yield

Destination of a yield.

Drop

Being dropped.

Borrow

Mutable borrow.

AddressOf

AddressOf for *mut pointer.

Projection

Used as base for another place, e.g., x in x.y. Could potentially mutate the place. For example, the projection x.y is marked as a mutation in these cases:

x.y = ...;
f(&mut x.y);

Retag

Retagging, a “Stacked Borrows” shadow state operation

Trait Implementations

impl Clone for MutatingUseContext

fn clone(&self) -> MutatingUseContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MutatingUseContext

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

Formats the value using the given formatter.

impl PartialEq<MutatingUseContext> for MutatingUseContext

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for MutatingUseContext

impl Eq for MutatingUseContext

impl StructuralEq for MutatingUseContext

impl StructuralPartialEq for MutatingUseContext

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• Store: 0 bytes
• SetDiscriminant: 0 bytes
• Deinit: 0 bytes
• AsmOutput: 0 bytes
• Call: 0 bytes
• Yield: 0 bytes
• Drop: 0 bytes
• Borrow: 0 bytes
• AddressOf: 0 bytes
• Projection: 0 bytes
• Retag: 0 bytes