Struct miri::interpret::ConstAllocation
source · pub struct ConstAllocation<'tcx>(pub Interned<'tcx, Allocation<AllocId, ()>>);
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 TyKind
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<AllocId, ()>>
Auto Trait Implementations§
impl<'tcx> RefUnwindSafe for ConstAllocation<'tcx>
impl<'tcx> Send for ConstAllocation<'tcx>
impl<'tcx> Sync for ConstAllocation<'tcx>
impl<'tcx> Unpin for ConstAllocation<'tcx>
impl<'tcx> UnwindSafe for ConstAllocation<'tcx>
Blanket Implementations§
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