Struct rustc_const_eval::interpret::LocalState

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

State of a local variable including a memoized layout

Fields

value: LocalValue<Tag>

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

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

Implementations

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

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

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

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

pub fn access_mut(
    &mut self
) -> InterpResult<'tcx, Result<&mut LocalValue<Tag>, MemPlace<Tag>>>

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, Tag: Clone + Provenance> Clone for LocalState<'tcx, Tag>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

impl<'tcx, Tag: PartialEq + Provenance> PartialEq<LocalState<'tcx, Tag>> for LocalState<'tcx, Tag>

fn eq(&self, other: &LocalState<'tcx, Tag>) -> bool

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

fn ne(&self, other: &LocalState<'tcx, Tag>) -> bool

This method tests for !=.

impl<'tcx, Tag: Eq + Provenance> Eq for LocalState<'tcx, Tag>

impl<'tcx, Tag: Provenance> StructuralEq for LocalState<'tcx, Tag>

impl<'tcx, Tag: Provenance> StructuralPartialEq for LocalState<'tcx, 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.