Enum rustc_middle::mir::visit::MutatingUseContext[−][src]

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

Enum rustc_middle::mir::visit::MutatingUseContext[−][src]

Variants

Trait Implementations

impl Clone for MutatingUseContext

fn clone(&self) -> MutatingUseContext

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

impl Debug for MutatingUseContext

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

impl PartialEq<MutatingUseContext> for MutatingUseContext

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

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

impl Copy for MutatingUseContext

impl Eq for MutatingUseContext

impl StructuralEq for MutatingUseContext

impl StructuralPartialEq for MutatingUseContext

Auto Trait Implementations

impl RefUnwindSafe for MutatingUseContext

impl Send for MutatingUseContext

impl Sync for MutatingUseContext

impl Unpin for MutatingUseContext

impl UnwindSafe for MutatingUseContext

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where T: Copy,

pub fn allocate_on(Self, &'a Arena<'tcx>) -> &'a mut T

pub fn allocate_from_iter( &'a Arena<'tcx>, impl IntoIterator<Item = T>) -> &'a mut [T]

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> MaybeResult<T> for T

type Error = !

pub fn from(Result<T, <T as MaybeResult<T>>::Error>) -> T

pub fn to_result(Self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> WithConstness for T

fn with_constness(self, constness: BoundConstness) -> ConstnessAnd<Self>

fn with_const_if_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

impl<'a, T> Captures<'a> for T where T: ?Sized,

Layout

impl<T> Any for T where
T: 'static + ?Sized,

impl<'tcx, T> ArenaAllocatable<'tcx, ()> for T where
T: Copy,

pub fn allocate_from_iter(
&'a Arena<'tcx>,
impl IntoIterator<Item = T>
) -> &'a mut [T]

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

impl<'a, T> Captures<'a> for T where
T: ?Sized,