Trait abi_stable::abi_stability::stable_abi_trait::SharedStableAbi

pub unsafe trait SharedStableAbi {
type IsNonZeroType: Boolean;
type Kind: TypeKindTrait;
type StaticEquivalent: 'static;

const S_LAYOUT: &'static TypeLayout;
const S_ABI_INFO: &'static AbiInfoWrapper;
}

Represents a type whose layout is stable.

This trait can be derived using ``.

Safety

The layout of types implementing this trait can only change by adding fields at the end,if it stores a TLData::PrefixType in TypeLayout.data,

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.

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

An alternative for types where IsNonZeroType=False,you can use abi_stable::ROption.

Non-exhaustive list of std types that are NonZero:

• &T (any T).

• &mut T (any T).

• extern fn().

• std::ptr::NonNull

• std::num::NonZero*

type Kind: TypeKindTrait

The kind of abi stability of this type,there are 2:

• ValueKind:The layout of this type does not change in minor versions.

• PrefixKind: A struct which can add fields in minor versions, only usable behind a shared reference, used to implement extensible vtables and modules.

type StaticEquivalent: 'static

A version of the type which does not borrow anything, used to create a UTypeId for doing layout checking.

Loading content...

Associated Constants

const S_LAYOUT: &'static TypeLayout

The layout of the type provided by implementors.

const S_ABI_INFO: &'static AbiInfoWrapper

The layout of the type,derived from Self::LAYOUT and associated types.

Loading content...

Implementations on Foreign Types

impl<T> SharedStableAbi for PhantomData<T> where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = PhantomData<T::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for ()

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = ()

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for Void

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, T> SharedStableAbi for &'a T where
    T: 'a + SharedStableAbi, 

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = &'static T::StaticEquivalent

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, T> SharedStableAbi for &'a mut T where
    T: 'a + StableAbi, 

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = &'static mut T::StaticEquivalent

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for NonNull<T> where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = NonNull<T::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for AtomicPtr<T> where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = AtomicPtr<T::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for *const T where
    T: SharedStableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = *const T::StaticEquivalent

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for *mut T where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = *mut T::StaticEquivalent

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 0] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 0]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 1] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 1]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 2] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 2]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 3] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 3]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 4] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 4]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 5] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 5]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 6] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 6]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 7] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 7]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 8] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 8]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 9] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 9]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 10] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 10]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 11] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 11]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 12] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 12]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 13] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 13]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 14] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 14]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 15] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 15]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 16] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 16]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 17] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 17]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 18] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 18]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 19] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 19]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 20] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 20]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 21] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 21]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 22] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 22]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 23] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 23]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 24] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 24]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 25] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 25]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 26] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 26]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 27] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 27]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 28] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 28]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 29] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 29]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 30] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 30]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 31] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 31]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for [T; 32] where
    T: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = [T::StaticEquivalent; 32]

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for Option<T> where
    T: StableAbi<IsNonZeroType = True>, 

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

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Option<T::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for u8

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for i8

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for u16

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for i16

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for u32

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for i32

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for u64

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for i64

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for usize

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for isize

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for bool

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for AtomicBool

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for AtomicIsize

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for AtomicUsize

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NonZeroU8

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NonZeroU16

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NonZeroU32

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NonZeroU64

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NonZeroUsize

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<P> SharedStableAbi for NumWrapping<P> where
    P: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = P::IsNonZeroType

type StaticEquivalent = NumWrapping<P::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<P> SharedStableAbi for Pin<P> where
    P: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = P::IsNonZeroType

type StaticEquivalent = Pin<P::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<P> SharedStableAbi for ManuallyDrop<P> where
    P: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = P::IsNonZeroType

type StaticEquivalent = ManuallyDrop<P::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<P> SharedStableAbi for Cell<P> where
    P: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = P::IsNonZeroType

type StaticEquivalent = Cell<P::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<P> SharedStableAbi for UnsafeCell<P> where
    P: StableAbi, 

type Kind = ValueKind

type IsNonZeroType = P::IsNonZeroType

type StaticEquivalent = UnsafeCell<P::StaticEquivalent>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for PhantomPinned

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = PhantomPinned

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for extern "C" fn()

This is the only function type that implements StableAbi so as to make it more obvious that functions involving lifetimes cannot implement this trait directly (because of higher ranked trait bounds).

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for unsafe extern "C" fn()

This is the only function type that implements StableAbi so as to make it more obvious that functions involving lifetimes cannot implement this trait directly (because of higher ranked trait bounds).

type Kind = ValueKind

type IsNonZeroType = True

type StaticEquivalent = Self

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

Loading content...

Implementors

impl SharedStableAbi for TypeKind

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TypeKind

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for CTVariant

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = CTVariant

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for Primitive

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Primitive

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TagErrorVariant

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TagErrorVariant

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TagVariant

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TagVariant

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for LifetimeIndex

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = LifetimeIndex

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RustPrimitive

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RustPrimitive

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLData

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLData

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLDataDiscriminant

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLDataDiscriminant

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for FormattingMode

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = FormattingMode

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for CallReferentDrop

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = CallReferentDrop

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for PointerKind

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = PointerKind

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for IsAccessible

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = IsAccessible

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for IsConditional

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = IsConditional

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RCmpOrdering

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RCmpOrdering

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RSeekFrom

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RSeekFrom

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for AbiInfo

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = AbiInfo

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for AbiInfoWrapper

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = AbiInfoWrapper

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for GetAbiInfo where
    extern "C" fn(): __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = GetAbiInfo

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for CheckableTag

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = CheckableTag

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for Tag

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Tag

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for FullType

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = FullType

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for GenericParams

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = GenericParams

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLEnumVariant

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLEnumVariant

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLField

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLField

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLFieldAndType where
    TLField: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLFieldAndType

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TLPrefixType

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TLPrefixType

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TypeLayout

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TypeLayout

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for CloneInterface

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = CloneInterface

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for DefaultInterface

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = DefaultInterface

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for FmtWriteInterface

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = FmtWriteInterface

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for PartialEqInterface

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = PartialEqInterface

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for DebugDisplayObject

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = DebugDisplayObject

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for TypeInfo

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = TypeInfo

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for ErasedObject

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = ErasedObject

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for NotCopyNotClone

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = NotCopyNotClone

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for SyncSend

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = SyncSend

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for UnsyncSend

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = UnsyncSend

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for UnsyncUnsend

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = UnsyncUnsend

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for FieldAccessibility where
    u64: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = FieldAccessibility

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for PTField

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = PTField

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for PTStructLayout

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = PTStructLayout

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RIoError

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RIoError

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RIoErrorKind

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RIoErrorKind

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RString

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RString

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for StaticStr

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = StaticStr

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for RDuration

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RDuration

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for UTypeId

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = UTypeId

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for VersionNumber

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = VersionNumber

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl SharedStableAbi for VersionStrings

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = VersionStrings

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a> SharedStableAbi for HasherObject<'a>

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = HasherObject<'static>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a> SharedStableAbi for RStr<'a>

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RStr<'static>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, B: ?Sized> SharedStableAbi for RCow<'a, B> where
    B: BorrowOwned<'a>,
    <B as BorrowOwned<'a>>::RBorrowed: StableAbi,
    <B as BorrowOwned<'a>>::ROwned: StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RCow<'static, ()>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, K, V> SharedStableAbi for REntry<'a, K, V> where
    K: __StableAbi,
    V: __StableAbi,
    K: 'a,
    V: 'a, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = REntry<'static, __StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, K, V> SharedStableAbi for ROccupiedEntry<'a, K, V> where
    V: __StableAbi,
    K: __StableAbi,
    K: 'a,
    V: 'a, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = ROccupiedEntry<'static, __StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, K, V> SharedStableAbi for RVacantEntry<'a, K, V> where
    K: __StableAbi,
    V: __StableAbi,
    K: 'a,
    V: 'a, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RVacantEntry<'static, __StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, T> SharedStableAbi for RSlice<'a, T> where
    T: __StableAbi,
    T: 'a, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RSlice<'static, __StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'a, T> SharedStableAbi for RSliceMut<'a, T> where
    T: __StableAbi,
    T: 'a, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RSliceMut<'static, __StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<'borr, P, I> SharedStableAbi for DynTrait<'borr, P, I> where
    I: InterfaceBound<'borr>,
    I: __StableAbi,
    P: __StableAbi,
    <I as SharedStableAbi>::StaticEquivalent: InterfaceBound<'static>,
    VTable<'borr, P, I>: SharedStableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = DynTrait<'static, __StaticEquivalent<P>, __StaticEquivalent<I>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<A> SharedStableAbi for Tuple1<A> where
    A: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Tuple1<__StaticEquivalent<A>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<A, B> SharedStableAbi for Tuple2<A, B> where
    A: __StableAbi,
    B: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Tuple2<__StaticEquivalent<A>, __StaticEquivalent<B>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<A, B, C> SharedStableAbi for Tuple3<A, B, C> where
    B: __StableAbi,
    C: __StableAbi,
    A: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Tuple3<__StaticEquivalent<A>, __StaticEquivalent<B>, __StaticEquivalent<C>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<A, B, C, D> SharedStableAbi for Tuple4<A, B, C, D> where
    B: __StableAbi,
    C: __StableAbi,
    A: __StableAbi,
    D: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = Tuple4<__StaticEquivalent<A>, __StaticEquivalent<B>, __StaticEquivalent<C>, __StaticEquivalent<D>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<K, V> SharedStableAbi for IntoIter<K, V> where
    K: __StableAbi,
    V: __StableAbi,
    DynTrait<'static, RBox<()>, ValIterInterface<u32, u32>>: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = IntoIter<__StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<K, V> SharedStableAbi for MutIterInterface<K, V> where
    K: __StableAbi,
    V: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = MutIterInterface<__StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<K, V> SharedStableAbi for RefIterInterface<K, V> where
    K: __StableAbi,
    V: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RefIterInterface<__StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<K, V> SharedStableAbi for ValIterInterface<K, V> where
    V: __StableAbi,
    K: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = ValIterInterface<__StaticEquivalent<K>, __StaticEquivalent<V>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<K, V, S> SharedStableAbi for RHashMap<K, V, S> where
    K: __StableAbi,
    V: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RHashMap<__StaticEquivalent<K>, __StaticEquivalent<V>, ()>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<M> SharedStableAbi for RBoxError_<M> where
    M: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RBoxError_<__StaticEquivalent<M>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for ROption<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = ROption<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for UnsafeOpaqueField<T>

type Kind = ValueKind

type IsNonZeroType = False

type StaticEquivalent = ()

it is fine to use () because this type is treated as a primitive anyway.

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for KeyValue<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = KeyValue<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for DEIteratorInterface<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = DEIteratorInterface<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for IteratorInterface<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = IteratorInterface<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for CmpIgnored<T> where
    T: __StableAbi,
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = CmpIgnored<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for UnsafeIgnoredType<T>

type IsNonZeroType = False

type Kind = ValueKind

type StaticEquivalent = ()

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RRange<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RRange<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RRangeFrom<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RRangeFrom<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RRangeInclusive<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RRangeInclusive<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RRangeTo<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RRangeTo<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RRangeToInclusive<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RRangeToInclusive<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RArc<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RArc<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RBox<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RBox<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T> SharedStableAbi for RVec<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RVec<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T, E> SharedStableAbi for RResult<T, E> where
    E: __StableAbi,
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = RResult<__StaticEquivalent<T>, __StaticEquivalent<E>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T: 'static> SharedStableAbi for WithLayout<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = WithLayout<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

impl<T: 'static> SharedStableAbi for StaticSlice<T> where
    T: __StableAbi, 

type IsNonZeroType = False

type Kind = __ValueKind

type StaticEquivalent = StaticSlice<__StaticEquivalent<T>>

const S_LAYOUT: &'static TypeLayout

const S_ABI_INFO: &'static AbiInfoWrapper

Loading content...