Trait abi_stable::abi_stability::stable_abi_trait::StableAbi

pub unsafe trait StableAbi: GetStaticEquivalent_ {
    type IsNonZeroType: Boolean;

    const LAYOUT: &'static TypeLayout;
    const ABI_CONSTS: AbiConsts = _;
}

Represents a type whose layout is stable.

This trait can be derived using #[derive(StableAbi)].

Safety

The layout specified in LAYOUT must be correct, otherwise type checking when loading a dynamic library would be unsound, and passing this into a dynamic library would be equivalent to transmuting it.

Caveats

This trait cannot be directly implemented for functions that take lifetime parameters, because of that, #[derive(StableAbi)] detects the presence of extern fn types in type definitions.

Required Associated Types

type IsNonZeroType: Boolean

Whether this type has a single invalid bit-pattern.

Possible values: True/False

Some standard library types have a single value that is invalid for them eg:0,null. these types are the only ones which can be stored in a Option<_> that implements StableAbi.

For an alternative to Option<T> for types where IsNonZeroType = False, you can use ROption.

Non-exhaustive list of std types that are NonZero:

• &T (any T).

• &mut T (any T).

• extern "C" fn().

• std::ptr::NonNull

• std::num::NonZero*

Required Associated Constants

const LAYOUT: &'static TypeLayout

The layout of the type provided by implementors.

Provided Associated Constants

const ABI_CONSTS: AbiConsts = _

const-equivalents of the associated types.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl StableAbi for Void

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for c_void

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for bool

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for f32

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for f64

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for i8

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for i16

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for i32

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for i64

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for isize

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for u8

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for u16

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for u32

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for u64

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ()

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for usize

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for PhantomPinned

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicBool

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicI8

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicI16

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicI32

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicI64

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicIsize

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicU8

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicU16

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicU32

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicU64

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AtomicUsize

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroI8

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroI16

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroI32

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroI64

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroIsize

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroU8

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroU16

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroU32

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroU64

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NonZeroUsize

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for extern "C" fn()

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl StableAbi for unsafe extern "C" fn()

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for &'a T

where T: 'a + StableAbi,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for &'a mut T

where T: 'a + StableAbi,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for Cell<P>

where P: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for UnsafeCell<P>

where P: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for ManuallyDrop<P>

where P: StableAbi,

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for Wrapping<P>

where P: StableAbi,

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for Pin<P>

where P: StableAbi,

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<T0> StableAbi for PhantomData<(T0,)>

where T0: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1> StableAbi for PhantomData<(T0, T1)>

where T0: StableAbi, T1: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2> StableAbi for PhantomData<(T0, T1, T2)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3> StableAbi for PhantomData<(T0, T1, T2, T3)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4> StableAbi for PhantomData<(T0, T1, T2, T3, T4)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi, T11: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi, T11: StableAbi, T12: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi, T11: StableAbi, T12: StableAbi, T13: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi, T11: StableAbi, T12: StableAbi, T13: StableAbi, T14: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> StableAbi for PhantomData<(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)>

where T0: StableAbi, T1: StableAbi, T2: StableAbi, T3: StableAbi, T4: StableAbi, T5: StableAbi, T6: StableAbi, T7: StableAbi, T8: StableAbi, T9: StableAbi, T10: StableAbi, T11: StableAbi, T12: StableAbi, T13: StableAbi, T14: StableAbi, T15: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for Option<T>

where T: StableAbi<IsNonZeroType = True>,

Implementing abi stability for Option<T> is fine if T is a NonZero primitive type.

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for *const T

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for *mut T

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for PhantomData<T>

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for NonNull<T>

where T: StableAbi,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for AtomicPtr<T>

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for MaybeUninit<T>

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

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

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

Implementors

impl StableAbi for ROnceState

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IsLayoutChecked

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RootModuleError

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CallReferentDrop

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Deallocate

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for PointerKind

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IsAccessible

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IsConditional

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ModReflMode

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RCmpOrdering

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RSeekFrom

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for DiscriminantRepr

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for FieldAccessor

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for GenericTLData

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for MonoTLData

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ReprAttr

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLDataDiscriminant

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLDiscriminant

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFieldOrFunction

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLPrimitive

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CTVariant

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Primitive

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TagVariant

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ExtraChecksError

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CloneEqInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CloneInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for DebugDefEqInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for DebugDisplayInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for DefaultInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for FmtWriteInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IoWriteInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for PartialEqInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for UnpinInterface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RequiredTraits

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TypeInfo

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for DebugDisplayObject

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ROnce

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RawValueBox

type IsNonZeroType = <RString as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Module_Ref

where Module: PrefixTypeTrait,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = <__sabi_re::PrefixRef<Module_Prefix> as __sabi_re::StableAbi>::LAYOUT

impl StableAbi for ValidTag_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ValidTag_Storage

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CAbiTestingFns

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AbiHeader

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AbiHeaderRef

type IsNonZeroType = <RRef<'static, AbiHeader> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for LibHeader

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RootModuleConsts

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for NotCopyNotClone

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for SyncSend

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for SyncUnsend

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for UnsyncSend

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for UnsyncUnsend

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for EnumInfo

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for PTStructLayout

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Action_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ConstExample_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Doer_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for VersionNumber

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for VersionStrings

type IsNonZeroType = <RStr<'static> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RDuration

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RIoError

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RIoErrorKind

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for RString

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for UTypeId

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CompFieldAccessor

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CompGenericParams

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CompTLField

type IsNonZeroType = <u64 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CompTLFields

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CompTLFunction

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for GenericTLEnum

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for GenericTLPrefixType

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IncompatibleWithNonExhaustive

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for IsExhaustive

type IsNonZeroType = <Option<&'static TLNonExhaustive> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ItemInfo

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for LifetimeIndex

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for LifetimeIndexArray

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for LifetimeIndexPair

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for LifetimeRange

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ModPath

type IsNonZeroType = <NulStr<'static> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for MonoSharedVars

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for MonoTLEnum

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for MonoTLPrefixType

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for MonoTypeLayout

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for OptionU8

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for OptionU16

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for SharedVars

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for StartLen

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLDiscriminants

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLField

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFields

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFunction

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFunctionQualifiers

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFunctionSlice

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLFunctions

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLNonExhaustive

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TLPrefixType

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TypeLayout

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TypeLayoutIndex

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TypeLayoutRange

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for CheckableTag

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for Tag

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ExtraChecks_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for TypeChecker_Interface

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for ConstGeneric

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl StableAbi for AbiConsts

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for LifetimeArrayOrSlice<'a>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for HasherObject<'a>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for RawValueRef<'a>

type IsNonZeroType = <RStr<'a> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for NulStr<'a>

type IsNonZeroType = <NonNull<u8> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for RStr<'a>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a> StableAbi for MultipleTypeLayouts<'a>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, K, V> StableAbi for REntry<'a, K, V>

where K: __StableAbi + 'a, V: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, K, V> StableAbi for Keys<'a, K, V>

where K: __StableAbi + 'a, V: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, K, V> StableAbi for ROccupiedEntry<'a, K, V>

where K: __StableAbi + 'a, V: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, K, V> StableAbi for RVacantEntry<'a, K, V>

where K: __StableAbi + 'a, V: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, K, V> StableAbi for Values<'a, K, V>

where K: __StableAbi + 'a, V: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RMutexGuard<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <&'a RMutex<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RReadGuard<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <&'a RRwLock<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RWriteGuard<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <&'a RRwLock<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for MovePtr<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <NonNull<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RMut<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <NonNull<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RRef<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = <NonNull<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RSlice<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'a, T> StableAbi for RSliceMut<'a, T>

where T: __StableAbi + 'a,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'borr, ErasedPtr, I> StableAbi for VTable_Ref<'borr, ErasedPtr, I>

where ErasedPtr: __StableAbi, I: __StableAbi + IteratorItemOrDefault<'borr> + GetSerializeProxyType<'borr> + InterfaceType, <I as IteratorItemOrDefault<'borr>>::Item: StableAbi, <I as GetSerializeProxyType<'borr>>::ProxyType: StableAbi, VTable<'borr, ErasedPtr, I>: PrefixTypeTrait,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = <__sabi_re::PrefixRef<VTable_Prefix<'borr, ErasedPtr, I>> as __sabi_re::StableAbi>::LAYOUT

impl<'borr, P, I, EV> StableAbi for DynTrait<'borr, P, I, EV>

where P: GetPointerKind + __StableAbi, I: __StableAbi + InterfaceType, EV: __StableAbi, VTable_Ref<'borr, P, I>: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'lt, P, I, V> StableAbi for RObject<'lt, P, I, V>

where P: GetPointerKind + __StableAbi, I: __StableAbi + InterfaceType, V: __GetStaticEquivalent_ + PrefixStableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<'lt, _ErasedPtr> StableAbi for Action_TO<'lt, _ErasedPtr>

where _ErasedPtr: __GetPointerKind + __StableAbi, Action_Backend<'lt, _ErasedPtr>: StableAbi,

type IsNonZeroType = <RObject<'lt, _ErasedPtr, Action_Interface, VTable_Prefix<(), _ErasedPtr>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'lt, _ErasedPtr> StableAbi for ConstExample_TO<'lt, _ErasedPtr>

where _ErasedPtr: __GetPointerKind + __StableAbi, ConstExample_Backend<'lt, _ErasedPtr>: StableAbi,

type IsNonZeroType = <DynTrait<'lt, _ErasedPtr, ConstExample_Interface, PrefixRef<VTable_Prefix<(), _ErasedPtr>>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<'lt, _ErasedPtr> StableAbi for Doer_TO<'lt, _ErasedPtr>

where _ErasedPtr: __GetPointerKind + __StableAbi, Doer_Backend<'lt, _ErasedPtr>: StableAbi,

type IsNonZeroType = <RObject<'lt, _ErasedPtr, Doer_Interface, VTable_Prefix<(), _ErasedPtr>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<A> StableAbi for Tuple1<A>

where A: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<A> StableAbi for ArrayLen<A>

where A: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<A, B> StableAbi for Tuple2<A, B>

where A: __StableAbi, B: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<A, B, C> StableAbi for Tuple3<A, B, C>

where A: __StableAbi, B: __StableAbi, C: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<A, B, C, D> StableAbi for Tuple4<A, B, C, D>

where A: __StableAbi, B: __StableAbi, C: __StableAbi, D: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<B, O> StableAbi for RCow<B, O>

where B: __StableAbi, O: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<E> StableAbi for BitArray64<E>

where E: __StableAbi,

type IsNonZeroType = <u64 as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<E, S, I> StableAbi for NonExhaustive<E, S, I>

where E: __GetStaticEquivalent_ + NonExhaustiveMarker<S>, S: __GetStaticEquivalent_, I: __GetStaticEquivalent_ + InterfaceType, NonExhaustiveVtable_Ref<E, S, I>: StableAbi, <E as NonExhaustiveMarker<S>>::Marker: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo1<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo2<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo4<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo8<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo16<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo32<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo64<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo128<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo256<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo512<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo1024<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo2048<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo4096<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo8192<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo16384<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<Inline> StableAbi for AlignTo32768<Inline>

where Inline: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<K, V> StableAbi for IntoIter<K, V>

where K: __StableAbi, V: __StableAbi,

type IsNonZeroType = <DynTrait<'static, RBox<()>, ValIterInterface<u32, u32>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<K, V> StableAbi for MutIterInterface<K, V>

where K: __StableAbi, V: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<K, V> StableAbi for RefIterInterface<K, V>

where K: __StableAbi, V: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<K, V> StableAbi for ValIterInterface<K, V>

where K: __StableAbi, V: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<K, V, S> StableAbi for RHashMap<K, V, S>

where K: __StableAbi, V: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<M> StableAbi for RBoxError_<M>

where M: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<N> StableAbi for UnwrapEnumError<N>

where N: __StableAbi,

type IsNonZeroType = <N as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<P> StableAbi for PrefixRef<P>

where P: PrefixStableAbi,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for ConstructorOrValue<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for MaybeCmp<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for ROption<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for DEIteratorCloneInterface<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for DEIteratorInterface<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for IteratorInterface<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RReceiver<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RSender<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RMutex<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RRwLock<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for PhantModule_Ref<T>

where T: __StableAbi + Copy, PhantModule<T>: PrefixTypeTrait,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = <__sabi_re::PrefixRef<PhantModule_Prefix<T>> as __sabi_re::StableAbi>::LAYOUT

impl<T> StableAbi for ErasedObject<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for UnsafeIgnoredType<T>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for CmpIgnored<T>

where T: __StableAbi,

type IsNonZeroType = <T as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for Constructor<T>

where T: __StableAbi,

type IsNonZeroType = True

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for LateStaticRef<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for StaticRef<T>

where T: __StableAbi,

type IsNonZeroType = <NonNull<T> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RArc<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RBox<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for RVec<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for KeyValue<T>

where T: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T> StableAbi for SabiUnsafeOpaqueField<T>

where T: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = { UnsafeOpaqueField<T>::LAYOUT }

impl<T> StableAbi for UnsafeOpaqueField<T>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T, E> StableAbi for RResult<T, E>

where T: __StableAbi, E: __StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T, Inline> StableAbi for RSmallBox<T, Inline>

where T: __StableAbi, Inline: __GetStaticEquivalent_,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<T: ?Sized> StableAbi for NonOwningPhantom<T>

where PhantomData<T>: StableAbi,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl<_ErasedPtr> StableAbi for ExtraChecks_TO<_ErasedPtr>

where _ErasedPtr: __GetPointerKind + __StableAbi, ExtraChecks_Backend<_ErasedPtr>: StableAbi,

type IsNonZeroType = <RObject<'static, _ErasedPtr, ExtraChecks_Interface, VTable_Prefix<(), _ErasedPtr>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<_ErasedPtr> StableAbi for TypeChecker_TO<_ErasedPtr>

where _ErasedPtr: __GetPointerKind + __StableAbi, TypeChecker_Backend<_ErasedPtr>: StableAbi,

type IsNonZeroType = <RObject<'static, _ErasedPtr, TypeChecker_Interface, VTable_Prefix<(), _ErasedPtr>> as StableAbi>::IsNonZeroType

const LAYOUT: &'static TypeLayout = _

impl<__Storage> StableAbi for ValidTag_NEMarker<ValidTag, __Storage>

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _