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

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

Variants

`Store`

Appears as LHS of an assignment.

`LlvmAsmOutput`

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

`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

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

Variants

Store

LlvmAsmOutput

AsmOutput

Call

Yield

Drop

Borrow

AddressOf

Projection

Retag

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) -> &'a mut T

pub fn allocate_from_iter(&'a Arena, impl IntoIterator<Item = T>) -> &'a mut [T]ⓘNotable traits for &[u8]impl<'_> Read for &[u8]impl<'_> Write for &mut [u8]

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<'a, T> Captures<'a> for T where T: ?Sized,

Layout

`Store`

`LlvmAsmOutput`

`AsmOutput`

`Call`

`Yield`

`Drop`

`Borrow`

`AddressOf`

`Projection`

`Retag`

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, impl IntoIterator<Item = T>) -> &'a mut [T]ⓘ
Notable traits for &[u8 ]
`impl<'_> Read for &[u8]impl<'_> Write for &mut [u8]`

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,