Trait const_type_layout::TypeLayout

pub unsafe trait TypeLayout: Sized {
    const TYPE_LAYOUT: TypeLayoutInfo<'static>;

    unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>;
}

Safety

It is only safe to implement this trait if it accurately describes the type’s layout. Use #[derive(TypeLayout)] instead.

Required Associated Constants

const TYPE_LAYOUT: TypeLayoutInfo<'static>

Required Methods

unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

Safety

1. The returned value is not safe to be used in any other way than to calculate field offsets and discriminants.

2. The value and any value built with it must NOT be dropped.

3. Must return MaybeUninhabited::Uninhabited iff the type is uninhabited.

Implementations on Foreign Types

impl<T: TypeLayout> TypeLayout for Box<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for Box<[T]>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout, const N: usize> TypeLayout for [T; N]

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for UnsafeCell<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for Cell<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for Reverse<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for Infallible

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for c_void

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T> TypeLayout for PhantomData<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for PhantomPinned

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for ManuallyDrop<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for MaybeUninit<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroI8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroI16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroI32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroI64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroI128

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroIsize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroU8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroU16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroU32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroU64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroU128

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for NonZeroUsize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for Wrapping<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for Option<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout + Deref> TypeLayout for Pin<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for i8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for i16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for i32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for i64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for i128

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for isize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for u8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for u16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for u32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for u64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for u128

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for usize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for f32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for f64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for char

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for bool

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for ()

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for !

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for *const T

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for *mut T

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for NonNull<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for NonNull<[T]>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<'a, T: TypeLayout + 'a> TypeLayout for &'a T

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<'a, T: TypeLayout + 'a> TypeLayout for &'a mut T

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout, E: TypeLayout> TypeLayout for Result<T, E>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicBool

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicI8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicI16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicI32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicI64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicU8

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicU16

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicU32

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicU64

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicIsize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl TypeLayout for AtomicUsize

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

impl<T: TypeLayout> TypeLayout for AtomicPtr<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

const unsafe fn uninit() -> MaybeUninhabited<MaybeUninit<Self>>

Implementors