Trait TypeLayout

pub unsafe trait TypeLayout: Sized {
    const INHABITED: MaybeUninhabited;
    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 {
    const INHABITED: MaybeUninhabited = 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 INHABITED: MaybeUninhabited

Marker for whether the type is inhabited or uninhabited.

const TYPE_LAYOUT: TypeLayoutInfo<'static>

Shallow layout of the type.

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for Infallible

const INHABITED: MaybeUninhabited = crate::MaybeUninhabited::Uninhabited

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for c_void

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for bool

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for char

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for f32

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for f64

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for i8

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for i16

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for i32

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for i64

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for i128

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for isize

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for !

Available on crate feature impl-never only.

const INHABITED: MaybeUninhabited = crate::MaybeUninhabited::Uninhabited

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for u8

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for u16

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for u32

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for u64

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for u128

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for ()

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for usize

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for PhantomPinned

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for RangeFull

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicBool

Available on crate feature impl-atomics and target_has_atomic_load_store="8" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicI8

Available on crate feature impl-atomics and target_has_atomic_load_store="8" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicI16

Available on crate feature impl-atomics and target_has_atomic_load_store="16" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicI32

Available on crate feature impl-atomics and target_has_atomic_load_store="32" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicI64

Available on crate feature impl-atomics and target_has_atomic_load_store="64" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicIsize

Available on crate feature impl-atomics and target_has_atomic_load_store="ptr" and 64-bit only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicU8

Available on crate feature impl-atomics and target_has_atomic_load_store="8" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicU16

Available on crate feature impl-atomics and target_has_atomic_load_store="16" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicU32

Available on crate feature impl-atomics and target_has_atomic_load_store="32" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicU64

Available on crate feature impl-atomics and target_has_atomic_load_store="64" only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for AtomicUsize

Available on crate feature impl-atomics and target_has_atomic_load_store="ptr" and 64-bit only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroI8

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroI16

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroI32

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroI64

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroI128

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroIsize

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroU8

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroU16

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroU32

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroU64

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroU128

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl TypeLayout for NonZeroUsize

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = Idx::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = Idx::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = Idx::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = Idx::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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 INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl<T> TypeLayout for PhantomData<T>

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl<T> TypeLayout for Discriminant<T>

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl<T: TypeLayout> TypeLayout for *const T

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

impl<T: TypeLayout> TypeLayout for *mut T

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

Available on crate feature impl-sync-unsafe-cell only.

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

Available on crate feature impl-atomics and target_has_atomic_load_store="ptr" and 64-bit only.

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

Available on crate feature impl-sync-exclusive only.

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = _

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

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

const INHABITED: MaybeUninhabited = T::INHABITED

const TYPE_LAYOUT: TypeLayoutInfo<'static> = _

Implementors