Struct rustc_const_eval::interpret::eval_context::LocalState

pub struct LocalState<'tcx, Prov: Provenance = AllocId> {
    pub value: LocalValue<Prov>,
    pub layout: Cell<Option<TyAndLayout<'tcx>>>,
}

State of a local variable including a memoized layout

Fields

value: LocalValue<Prov>

layout: Cell<Option<TyAndLayout<'tcx>>>

Don’t modify if Some, this is only used to prevent computing the layout twice

Implementations

impl<'tcx, Prov: Provenance + 'static> LocalState<'tcx, Prov>

pub fn access(&self) -> InterpResult<'tcx, &Operand<Prov>>

Read the local’s value or error if the local is not yet live or not live anymore.

pub fn access_mut(&mut self) -> InterpResult<'tcx, &mut Operand<Prov>>

Overwrite the local. If the local can be overwritten in place, return a reference to do so; otherwise return the MemPlace to consult instead.

Note: This may only be invoked from the Machine::access_local_mut hook and not from anywhere else. You may be invalidating machine invariants if you do!

Trait Implementations

impl<'tcx, Prov: Clone + Provenance> Clone for LocalState<'tcx, Prov>

fn clone(&self) -> LocalState<'tcx, Prov>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx, Prov: Debug + Provenance> Debug for LocalState<'tcx, Prov>

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

Formats the value using the given formatter.

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.