Trait TypeLayout

pub unsafe trait TypeLayout: Sized {
    type Inhabited: OutputMaybeInhabited;

    const TYPE_LAYOUT: TypeLayoutInfo<'static>;
}

Utility trait that provides the shallow layout of a type.

Safety

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

Example

The struct Foo with u8 and u16 fields implements TypeLayout as follows:

struct Foo {
    a: u8,
    b: u16,
}

unsafe impl TypeLayout for Foo {
    type Inhabited = inhabited::all![u8, u16];

    const TYPE_LAYOUT: TypeLayoutInfo<'static> = TypeLayoutInfo {
        name: ::core::any::type_name::<Self>(),
        size: ::core::mem::size_of::<Self>(),
        alignment: ::core::mem::align_of::<Self>(),
        structure: TypeStructure::Struct {
            repr: "",
            fields: &[
                Field {
                    name: "a",
                    offset: MaybeUninhabited::new::<u8>(::core::mem::offset_of!(Self, a)),
                    ty: ::core::any::type_name::<u8>(),
                },
                Field {
                    name: "b",
                    offset: MaybeUninhabited::new::<u16>(::core::mem::offset_of!(Self, b)),
                    ty: ::core::any::type_name::<u16>(),
                },
            ],
        },
    };
}

Note that if you implement TypeLayout, you should also implement typeset::ComputeTypeSet for it.

Required Associated Constants

const TYPE_LAYOUT: TypeLayoutInfo<'static>

Shallow layout of the type.

Required Associated Types

type Inhabited: OutputMaybeInhabited

Marker type for whether the type is inhabited or uninhabited. The associated type must be either inhabited::Inhabited or inhabited::Uninhabited.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl TypeLayout for Ordering

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for Infallible

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Uninhabited

impl TypeLayout for c_void

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for bool

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for char

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for f32

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for f64

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for i8

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for i16

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for i32

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for i64

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for i128

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for isize

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for !

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Uninhabited

impl TypeLayout for u8

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for u16

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for u32

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for u64

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for u128

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for ()

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for usize

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for PhantomPinned

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for RangeFull

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicBool

Available on target_has_atomic_load_store="8" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicI8

Available on target_has_atomic_load_store="8" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicI16

Available on target_has_atomic_load_store="16" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicI32

Available on target_has_atomic_load_store="32" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicI64

Available on target_has_atomic_load_store="64" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicIsize

Available on target_has_atomic_load_store="ptr" and 64-bit only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicU8

Available on target_has_atomic_load_store="8" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicU16

Available on target_has_atomic_load_store="16" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicU32

Available on target_has_atomic_load_store="32" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicU64

Available on target_has_atomic_load_store="64" only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for AtomicUsize

Available on target_has_atomic_load_store="ptr" and 64-bit only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroI8

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroI16

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroI32

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroI64

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroI128

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroIsize

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroU8

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroU16

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroU32

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroU64

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroU128

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl TypeLayout for NonZeroUsize

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<A: TypeLayout> TypeLayout for (A,)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout> TypeLayout for (A, B)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for (A, B, C)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for (A, B, C, D)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for (A, B, C, D, E)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for (A, B, C, D, E, F)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for (A, B, C, D, E, F, G)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for (A, B, C, D, E, F, G, H)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, <And<<H as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for (A, B, C, D, E, F, G, H, I)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, <And<<H as TypeLayout>::Inhabited, <And<<I as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for (A, B, C, D, E, F, G, H, I, J)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, <And<<H as TypeLayout>::Inhabited, <And<<I as TypeLayout>::Inhabited, <And<<J as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for (A, B, C, D, E, F, G, H, I, J, K)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, <And<<H as TypeLayout>::Inhabited, <And<<I as TypeLayout>::Inhabited, <And<<J as TypeLayout>::Inhabited, <And<<K as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for (A, B, C, D, E, F, G, H, I, J, K, L)

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <And<<A as TypeLayout>::Inhabited, <And<<B as TypeLayout>::Inhabited, <And<<C as TypeLayout>::Inhabited, <And<<D as TypeLayout>::Inhabited, <And<<E as TypeLayout>::Inhabited, <And<<F as TypeLayout>::Inhabited, <And<<G as TypeLayout>::Inhabited, <And<<H as TypeLayout>::Inhabited, <And<<I as TypeLayout>::Inhabited, <And<<J as TypeLayout>::Inhabited, <And<<K as TypeLayout>::Inhabited, <And<<L as TypeLayout>::Inhabited, Inhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<B: TypeLayout, C: TypeLayout> TypeLayout for ControlFlow<B, C>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Or<<B as TypeLayout>::Inhabited, <Or<<C as TypeLayout>::Inhabited, Uninhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output

impl<Idx: TypeLayout> TypeLayout for Range<Idx>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Idx as TypeLayout>::Inhabited

impl<Idx: TypeLayout> TypeLayout for RangeFrom<Idx>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Idx as TypeLayout>::Inhabited

impl<Idx: TypeLayout> TypeLayout for RangeTo<Idx>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Idx as TypeLayout>::Inhabited

impl<Idx: TypeLayout> TypeLayout for RangeToInclusive<Idx>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Idx as TypeLayout>::Inhabited

impl<R: TypeLayout> TypeLayout for fn() -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout> TypeLayout for extern "C" fn() -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout> TypeLayout for unsafe fn() -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout> TypeLayout for unsafe extern "C" fn() -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout> TypeLayout for fn(A) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout> TypeLayout for extern "C" fn(A) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout> TypeLayout for unsafe fn(A) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout> TypeLayout for unsafe extern "C" fn(A) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout> TypeLayout for unsafe extern "C" fn(A, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout> TypeLayout for fn(A, B) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout> TypeLayout for extern "C" fn(A, B) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout> TypeLayout for unsafe fn(A, B) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for fn(A, B, C) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for extern "C" fn(A, B, C) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for unsafe fn(A, B, C) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for fn(A, B, C, D) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for unsafe fn(A, B, C, D) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for fn(A, B, C, D, E) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for fn(A, B, C, D, E, F) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G, H) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G, H) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G, H) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G, H, I) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G, H, I) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G, H, I) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G, H, I, J) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G, H, I, J) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G, H, I, J) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G, H, I, J, K) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G, H, I, J, K) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for fn(A, B, C, D, E, F, G, H, I, J, K, L) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for unsafe fn(A, B, C, D, E, F, G, H, I, J, K, L) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<R: TypeLayout, A: TypeLayout, B: TypeLayout, C: TypeLayout, D: TypeLayout, E: TypeLayout, F: TypeLayout, G: TypeLayout, H: TypeLayout, I: TypeLayout, J: TypeLayout, K: TypeLayout, L: TypeLayout> TypeLayout for unsafe extern "C" fn(A, B, C, D, E, F, G, H, I, J, K, L, ...) -> R

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T> TypeLayout for PhantomData<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T> TypeLayout for Discriminant<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

impl<T: TypeLayout> TypeLayout for Bound<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T: TypeLayout> TypeLayout for *const T

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T: TypeLayout> TypeLayout for *mut T

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T: TypeLayout> TypeLayout for OnceCell<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

impl<T: TypeLayout> TypeLayout for SyncUnsafeCell<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

impl<T: TypeLayout> TypeLayout for Saturating<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

Available on target_has_atomic_load_store="ptr" and 64-bit only.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

impl<T: TypeLayout> TypeLayout for Exclusive<T>

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <Or<<T as TypeLayout>::Inhabited, <Or<<E as TypeLayout>::Inhabited, Uninhabited> as ComputeInhabited>::Output> as ComputeInhabited>::Output

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

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = <T as TypeLayout>::Inhabited

Implementors

impl TypeLayout for Uninhabited

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Uninhabited

impl TypeLayout for Inhabited

const TYPE_LAYOUT: TypeLayoutInfo<'static>

type Inhabited = Inhabited