Enum rustc_const_eval::interpret::operand::Operand

pub enum Operand<Tag: Provenance = AllocId> {
    Immediate(Immediate<Tag>),
    Indirect(MemPlace<Tag>),
}

An Operand is the result of computing a mir::Operand. It can be immediate, or still in memory. The latter is an optimization, to delay reading that chunk of memory and to avoid having to store arbitrary-sized data here.

Variants

Immediate(Immediate<Tag>)

Tuple Fields of Immediate

0: Immediate<Tag>

Indirect(MemPlace<Tag>)

Tuple Fields of Indirect

0: MemPlace<Tag>

Trait Implementations

impl<Tag: Clone + Provenance> Clone for Operand<Tag>

fn clone(&self) -> Operand<Tag>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Tag: Debug + Provenance> Debug for Operand<Tag>

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

Formats the value using the given formatter.

impl<Tag: Hash + Provenance> Hash for Operand<Tag>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'__ctx, Tag: Provenance> HashStable<StableHashingContext<'__ctx>> for Operand<Tag> where
    Tag: HashStable<StableHashingContext<'__ctx>>, 

fn hash_stable(
    &self,
    __hcx: &mut StableHashingContext<'__ctx>,
    __hasher: &mut StableHasher
)

impl<Tag: PartialEq + Provenance> PartialEq<Operand<Tag>> for Operand<Tag>

fn eq(&self, other: &Operand<Tag>) -> bool

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

fn ne(&self, other: &Operand<Tag>) -> bool

This method tests for !=.

impl<Tag: Copy + Provenance> Copy for Operand<Tag>

impl<Tag: Eq + Provenance> Eq for Operand<Tag>

impl<Tag: Provenance> StructuralEq for Operand<Tag>

impl<Tag: Provenance> StructuralPartialEq for Operand<Tag>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.