Trait abi_stable::abi_stability::stable_abi_trait::PrefixStableAbi

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

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

A type that only has a stable layout when a PrefixRef to it is used.

Types that implement this trait usually have a _Prefix suffix.

Safety

This trait can only be implemented by the StableAbi derive on types that also use the #[sabi(kind(Prefix))] attribute, implementing the trait for a macro generated type.

Required Associated Types

type IsNonZeroType: Boolean

Whether this type has a single invalid bit-pattern.

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.

Implementors

impl PrefixStableAbi for Module_Prefix

where Module: PrefixTypeTrait,

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _

impl PrefixStableAbi for ErasedPrefix

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = <ErasedObject as StableAbi>::LAYOUT

impl<T> PrefixStableAbi for PhantModule_Prefix<T>

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

type IsNonZeroType = False

const LAYOUT: &'static TypeLayout = _