Enum OperandKind 

pub enum OperandKind<'db> {
    Copy(Place<'db>),
    Move(Place<'db>),
    Constant {
        konst: Const<'db>,
        ty: Ty<'db>,
    },
    Static(StaticId),
}

Variants

Copy(Place<'db>)

Creates a value by loading the given place.

Before drop elaboration, the type of the place must be Copy. After drop elaboration there is no such requirement.

Move(Place<'db>)

Creates a value by performing loading the place, just like the Copy operand.

This may additionally overwrite the place with uninit bytes, depending on how we decide in UCG#188. You should not emit MIR that may attempt a subsequent second load of this place without first re-initializing it.

Constant

Constants are already semantically values, and remain unchanged.

Fields

konst: Const<'db>

ty: Ty<'db>

Static(StaticId)

NON STANDARD: This kind of operand returns an immutable reference to that static memory. Rustc handles it with the Constant variant somehow.

Trait Implementations

impl<'db> Clone for OperandKind<'db>

fn clone(&self) -> OperandKind<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for OperandKind<'db>

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

Formats the value using the given formatter.

impl<'db> PartialEq for OperandKind<'db>

fn eq(&self, other: &OperandKind<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'db> Eq for OperandKind<'db>

impl<'db> StructuralPartialEq for OperandKind<'db>