Enum rustc_const_eval::interpret::eval_context::LocalValue

pub enum LocalValue<Tag: Provenance = AllocId> {
    Dead,
    Uninitialized,
    Live(Operand<Tag>),
}

Current value of a local variable

Variants

Dead

This local is not currently alive, and cannot be used at all.

Uninitialized

This local is alive but not yet initialized. It can be written to but not read from or its address taken. Locals get initialized on first write because for unsized locals, we do not know their size before that.

Live(Operand<Tag>)

A normal, live local. Mostly for convenience, we re-use the Operand type here. This is an optimization over just always having a pointer here; we can thus avoid doing an allocation when the local just stores immediate values and never has its address taken.

Tuple Fields of Live

0: Operand<Tag>

Trait Implementations

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

fn clone(&self) -> LocalValue<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 LocalValue<Tag>

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

Formats the value using the given formatter.

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

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

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

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

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

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

This method tests for !=.

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

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

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

impl<Tag: Provenance> StructuralPartialEq for LocalValue<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.