Enum rustc_const_eval::interpret::eval_context::LocalValue

pub(super) enum LocalValue<Prov: Provenance = CtfeProvenance> {
    Dead,
    Live(Operand<Prov>),
}

Current value of a local variable

This does not store the type of the local; the type is given by body.local_decls and can never change, so by not storing here we avoid having to maintain that as an invariant.

Variants

Dead

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

Live(Operand<Prov>)

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.

Trait Implementations

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

fn clone(&self) -> LocalValue<Prov>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Prov: Debug + Provenance> Debug for LocalValue<Prov>

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

Formats the value using the given formatter.

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

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.