Struct miri::ConstAllocation

source ·

pub struct ConstAllocation<'tcx>(pub Interned<'tcx, Allocation<AllocId, (), Box<[u8], Global>>>);

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, (), Box<[u8], Global>>>

Auto Trait Implementations§

§

Struct miri::ConstAllocation

Tuple Fields§

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§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V

Layout§