Enum rustc_middle::mir::visit::MutatingUseContext

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

Variants

Store

Appears as LHS of an assignment.

AsmOutput

Can often be treated as a Store, but needs to be separate because ASM is allowed to read outputs as well, so a Store-AsmOutput sequence cannot be simplified the way a Store-Store can be.

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

pub fn clone(&self) -> MutatingUseContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Copy for MutatingUseContext

impl Debug for MutatingUseContext

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

Formats the value using the given formatter.

impl Eq for MutatingUseContext

impl PartialEq<MutatingUseContext> for MutatingUseContext

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

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl StructuralEq for MutatingUseContext

impl StructuralPartialEq for MutatingUseContext