Struct miri::PrimitiveLayouts

source ·

pub struct PrimitiveLayouts<'tcx> {Show 16 fields
    pub unit: TyAndLayout<'tcx>,
    pub i8: TyAndLayout<'tcx>,
    pub i16: TyAndLayout<'tcx>,
    pub i32: TyAndLayout<'tcx>,
    pub i64: TyAndLayout<'tcx>,
    pub i128: TyAndLayout<'tcx>,
    pub isize: TyAndLayout<'tcx>,
    pub u8: TyAndLayout<'tcx>,
    pub u16: TyAndLayout<'tcx>,
    pub u32: TyAndLayout<'tcx>,
    pub u64: TyAndLayout<'tcx>,
    pub u128: TyAndLayout<'tcx>,
    pub usize: TyAndLayout<'tcx>,
    pub bool: TyAndLayout<'tcx>,
    pub mut_raw_ptr: TyAndLayout<'tcx>,
    pub const_raw_ptr: TyAndLayout<'tcx>,
}

Expand description

Precomputed layouts of primitive types

Fields§

§unit: TyAndLayout<'tcx>§i8: TyAndLayout<'tcx>§i16: TyAndLayout<'tcx>§i32: TyAndLayout<'tcx>§i64: TyAndLayout<'tcx>§i128: TyAndLayout<'tcx>§isize: TyAndLayout<'tcx>§u8: TyAndLayout<'tcx>§u16: TyAndLayout<'tcx>§u32: TyAndLayout<'tcx>§u64: TyAndLayout<'tcx>§u128: TyAndLayout<'tcx>§usize: TyAndLayout<'tcx>§bool: TyAndLayout<'tcx>§mut_raw_ptr: TyAndLayout<'tcx>§const_raw_ptr: TyAndLayout<'tcx>

Struct miri::PrimitiveLayouts

Fields§

Implementations§

impl<'mir, 'tcx: 'mir> PrimitiveLayouts<'tcx>

fn new( layout_cx: LayoutCx<'tcx, TyCtxt<'tcx>> ) -> Result<Self, &'tcx LayoutError<'tcx>>

pub fn uint(&self, size: Size) -> Option<TyAndLayout<'tcx>>

pub fn int(&self, size: Size) -> Option<TyAndLayout<'tcx>>

Auto Trait Implementations§

impl<'tcx> !RefUnwindSafe for PrimitiveLayouts<'tcx>

impl<'tcx> Send for PrimitiveLayouts<'tcx>

impl<'tcx> Sync for PrimitiveLayouts<'tcx>

impl<'tcx> Unpin for PrimitiveLayouts<'tcx>

impl<'tcx> !UnwindSafe for PrimitiveLayouts<'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, 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§