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 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.

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*

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 StableAbi for Void

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for c_void

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for bool

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for f32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for f64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for i8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for i16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for i32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for i64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for isize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for u8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for u16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for u32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for u64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ()

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for usize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for PhantomPinned

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicBool

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicI8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicI16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicI32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicI64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicIsize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicU8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicU16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicU32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicU64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AtomicUsize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for NonZeroI8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroI16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroI32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroI64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroIsize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroU8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroU16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroU32

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroU64

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for NonZeroUsize

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for extern "C" fn()

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl StableAbi for unsafe extern "C" fn()

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

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

where T: 'a + StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

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

where T: 'a + StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl<P> StableAbi for Cell<P>

where P: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<P> StableAbi for UnsafeCell<P>

where P: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<P> StableAbi for ManuallyDrop<P>

where P: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

impl<P> StableAbi for Wrapping<P>

where P: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

impl<P> StableAbi for Pin<P>

where P: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <P as StableAbi>::IsNonZeroType

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

where T0: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T0: StableAbi, T1: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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.

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for *const T

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for *mut T

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for PhantomData<T>

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for NonNull<T>

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl<T> StableAbi for AtomicPtr<T>

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for MaybeUninit<T>

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

Implementors

impl StableAbi for ROnceState

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IsLayoutChecked

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RootModuleError

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CallReferentDrop

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for Deallocate

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for PointerKind

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IsAccessible

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IsConditional

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ModReflMode

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RCmpOrdering

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RSeekFrom

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for DiscriminantRepr

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for FieldAccessor

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for GenericTLData

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for MonoTLData

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ReprAttr

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLDataDiscriminant

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLDiscriminant

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLFieldOrFunction

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLPrimitive

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CTVariant

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for Primitive

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TagVariant

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ExtraChecksError

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CloneEqInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CloneInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for DebugDefEqInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for DebugDisplayInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for DefaultInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for FmtWriteInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IoWriteInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for PartialEqInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for UnpinInterface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RequiredTraits

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TypeInfo

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for DebugDisplayObject

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ROnce

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RawValueBox

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <RString as StableAbi>::IsNonZeroType

impl StableAbi for Module_Ref

where Module: PrefixTypeTrait,

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

type IsNonZeroType = True

impl StableAbi for ValidTag_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ValidTag_Storage

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CAbiTestingFns

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AbiHeader

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AbiHeaderRef

const LAYOUT: &'static TypeLayout = _

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

impl StableAbi for LibHeader

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RootModuleConsts

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for NotCopyNotClone

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for SyncSend

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for SyncUnsend

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for UnsyncSend

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for UnsyncUnsend

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for EnumInfo

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for PTStructLayout

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for Action_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ConstExample_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for Doer_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for VersionNumber

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for VersionStrings

const LAYOUT: &'static TypeLayout = _

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

impl StableAbi for RDuration

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RIoError

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RIoErrorKind

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for RString

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for UTypeId

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CompFieldAccessor

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

impl StableAbi for CompGenericParams

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CompTLField

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u64 as StableAbi>::IsNonZeroType

impl StableAbi for CompTLFields

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CompTLFunction

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for GenericTLEnum

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for GenericTLPrefixType

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IncompatibleWithNonExhaustive

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for IsExhaustive

const LAYOUT: &'static TypeLayout = _

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

impl StableAbi for ItemInfo

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for LifetimeIndex

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

impl StableAbi for LifetimeIndexArray

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

impl StableAbi for LifetimeIndexPair

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

impl StableAbi for LifetimeRange

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

impl StableAbi for ModPath

const LAYOUT: &'static TypeLayout = _

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

impl StableAbi for MonoSharedVars

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for MonoTLEnum

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for MonoTLPrefixType

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for MonoTypeLayout

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for OptionU8

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u8 as StableAbi>::IsNonZeroType

impl StableAbi for OptionU16

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

impl StableAbi for SharedVars

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for StartLen

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u32 as StableAbi>::IsNonZeroType

impl StableAbi for TLDiscriminants

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLField

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLFields

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLFunction

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLFunctionQualifiers

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

impl StableAbi for TLFunctionSlice

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLFunctions

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLNonExhaustive

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TLPrefixType

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TypeLayout

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TypeLayoutIndex

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u16 as StableAbi>::IsNonZeroType

impl StableAbi for TypeLayoutRange

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for CheckableTag

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for Tag

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ExtraChecks_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for TypeChecker_Interface

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for ConstGeneric

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl StableAbi for AbiConsts

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

const LAYOUT: &'static TypeLayout = _

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

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

const LAYOUT: &'static TypeLayout = _

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

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

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T: __StableAbi + 'a,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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,

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

type IsNonZeroType = True

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

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

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

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

const LAYOUT: &'static TypeLayout = _

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

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

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

const LAYOUT: &'static TypeLayout = _

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

impl<A> StableAbi for Tuple1<A>

where A: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<A> StableAbi for ArrayLen<A>

where A: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where A: __StableAbi, B: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where B: __StableAbi, O: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<E> StableAbi for BitArray64<E>

where E: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <u64 as StableAbi>::IsNonZeroType

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,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo1<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo2<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo4<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo8<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo16<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo32<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo64<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo128<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo256<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo512<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo1024<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo2048<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo4096<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo8192<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo16384<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<Inline> StableAbi for AlignTo32768<Inline>

where Inline: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where K: __StableAbi, V: __StableAbi,

const LAYOUT: &'static TypeLayout = _

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

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

where K: __StableAbi, V: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where K: __StableAbi, V: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where K: __StableAbi, V: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where K: __StableAbi, V: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<M> StableAbi for RBoxError_<M>

where M: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<N> StableAbi for UnwrapEnumError<N>

where N: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <N as StableAbi>::IsNonZeroType

impl<P> StableAbi for PrefixRef<P>

where P: PrefixStableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl<T> StableAbi for ConstructorOrValue<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for MaybeCmp<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for ROption<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for DEIteratorCloneInterface<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for DEIteratorInterface<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for IteratorInterface<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RReceiver<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RSender<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RMutex<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RRwLock<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for PhantModule_Ref<T>

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

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

type IsNonZeroType = True

impl<T> StableAbi for ErasedObject<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for UnsafeIgnoredType<T>

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for CmpIgnored<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = <T as StableAbi>::IsNonZeroType

impl<T> StableAbi for Constructor<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = True

impl<T> StableAbi for LateStaticRef<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for StaticRef<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

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

impl<T> StableAbi for RArc<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RBox<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for RVec<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for KeyValue<T>

where T: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<T> StableAbi for SabiUnsafeOpaqueField<T>

where T: StableAbi,

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

type IsNonZeroType = False

impl<T> StableAbi for UnsafeOpaqueField<T>

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T: __StableAbi, E: __StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where T: __StableAbi, Inline: __GetStaticEquivalent_,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

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

where PhantomData<T>: StableAbi,

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False

impl<_ErasedPtr> StableAbi for ExtraChecks_TO<_ErasedPtr>

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

const LAYOUT: &'static TypeLayout = _

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

impl<_ErasedPtr> StableAbi for TypeChecker_TO<_ErasedPtr>

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

const LAYOUT: &'static TypeLayout = _

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

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

const LAYOUT: &'static TypeLayout = _

type IsNonZeroType = False