Enum rustc_middle::mir::visit::NonMutatingUseContext

pub enum NonMutatingUseContext {
    Inspect,
    Copy,
    Move,
    SharedBorrow,
    ShallowBorrow,
    AddressOf,
    PlaceMention,
    Projection,
}

Variants

Inspect

Being inspected in some way, like loading a len.

Copy

Consumed as part of an operand.

Move

Consumed as part of an operand.

SharedBorrow

Shared borrow.

ShallowBorrow

Shallow borrow.

AddressOf

AddressOf for *const pointer.

PlaceMention

PlaceMention statement.

This statement is executed as a check that the Place is live without reading from it, so it must be considered as a non-mutating use.

Projection

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

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

Trait Implementations

impl Clone for NonMutatingUseContext

fn clone(&self) -> NonMutatingUseContext

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for NonMutatingUseContext

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

Formats the value using the given formatter.

impl PartialEq<NonMutatingUseContext> for NonMutatingUseContext

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

impl Eq for NonMutatingUseContext

impl StructuralEq for NonMutatingUseContext

impl StructuralPartialEq for NonMutatingUseContext

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:

• Inspect: 0 bytes
• Copy: 0 bytes
• Move: 0 bytes
• SharedBorrow: 0 bytes
• ShallowBorrow: 0 bytes
• AddressOf: 0 bytes
• PlaceMention: 0 bytes
• Projection: 0 bytes