Struct miri::interpret::LocalState
source · pub struct LocalState<'tcx, Prov = AllocId>where
Prov: Provenance,{
pub value: LocalValue<Prov>,
pub layout: Cell<Option<TyAndLayout<'tcx, Ty<'tcx>>>>,
}Expand description
State of a local variable including a memoized layout
Fields
value: LocalValue<Prov>layout: Cell<Option<TyAndLayout<'tcx, Ty<'tcx>>>>Don’t modify if Some, this is only used to prevent computing the layout twice
Auto Trait Implementations
impl<'tcx, Prov = AllocId> !RefUnwindSafe for LocalState<'tcx, Prov>
impl<'tcx, Prov> Send for LocalState<'tcx, Prov>where
Prov: Send,
impl<'tcx, Prov = AllocId> !Sync for LocalState<'tcx, Prov>
impl<'tcx, Prov> Unpin for LocalState<'tcx, Prov>where
Prov: Unpin,
impl<'tcx, Prov = AllocId> !UnwindSafe for LocalState<'tcx, Prov>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
impl<V, T> VZip<V> for Twhere
V: MultiLane<T>,
fn vzip(self) -> V
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.