Struct miri::interpret::ConstAllocation
source · pub struct ConstAllocation<'tcx, Prov = AllocId, Extra = ()>(pub Interned<'tcx, Allocation<Prov, Extra>>);Expand description
Interned types generally have an Outer type and an Inner type, where
Outer is a newtype around Interned<Inner>, and all the operations are
done on Outer, because all occurrences are interned. E.g. Ty is an
outer type and TyS is its inner type.
Here things are different because only const allocations are interned. This
means that both the inner type (Allocation) and the outer type
(ConstAllocation) are used quite a bit.
Tuple Fields
0: Interned<'tcx, Allocation<Prov, Extra>>Auto Trait Implementations
impl<'tcx, Prov, Extra> RefUnwindSafe for ConstAllocation<'tcx, Prov, Extra>where
Extra: RefUnwindSafe,
Prov: RefUnwindSafe,
impl<'tcx, Prov, Extra> Send for ConstAllocation<'tcx, Prov, Extra>where
Extra: Sync,
Prov: Sync,
impl<'tcx, Prov, Extra> Sync for ConstAllocation<'tcx, Prov, Extra>where
Extra: Sync,
Prov: Sync,
impl<'tcx, Prov, Extra> Unpin for ConstAllocation<'tcx, Prov, Extra>
impl<'tcx, Prov, Extra> UnwindSafe for ConstAllocation<'tcx, Prov, Extra>where
Extra: RefUnwindSafe,
Prov: RefUnwindSafe,
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: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 8 bytes