Struct abi_stable::abi_stability::extra_checks::ExtraChecks_TO

#[repr(transparent)]pub struct ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind,  {
    pub obj: ExtraChecks_Backend<_ErasedPtr>,
    // some fields omitted
}

The trait object for ExtraChecks.

There are extra methods on the obj field.

Fields

obj: ExtraChecks_Backend<_ErasedPtr>

Implementations

impl<_ErasedPtr> ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind, 

pub fn from_ptr<_OrigPtr, Unerasability>(
    ptr: _OrigPtr,
    unerasability: Unerasability
) -> Self where
    _OrigPtr: CanTransmuteElement<(), TransmutedPtr = _ErasedPtr>,
    _OrigPtr::Target: ExtraChecks_Bounds + Sized,
    _ErasedPtr: Deref<Target = ()>,
    ExtraChecks_Interface: GetRObjectVTable<Unerasability, _OrigPtr::Target, _ErasedPtr, _OrigPtr>, 

Constructs this trait object from a pointer to a type that implements ExtraChecks.

unerasability describes whether the trait object can be converted back into the original type or not.
Its possible values are TU_Unerasable and TU_Opaque.

pub fn from_sabi(obj: ExtraChecks_Backend<_ErasedPtr>) -> Self

Constructs this trait object from its underlying implementation.

pub fn sabi_reborrow<'_sub>(&'_sub self) -> ExtraChecks_TO<&'_sub ()> where
    _ErasedPtr: Deref<Target = ()>, 

Reborrows this trait object to a reference-based trait object.

pub fn sabi_reborrow_mut<'_sub>(
    &'_sub mut self
) -> ExtraChecks_TO<&'_sub mut ()> where
    _ErasedPtr: DerefMut<Target = ()>, 

Reborrows this trait object to a mutable-reference-based trait object.

impl ExtraChecks_TO<RBox<()>>

pub fn from_value<_Self, Unerasability>(
    ptr: _Self,
    unerasability: Unerasability
) -> Self where
    _Self: ExtraChecks_Bounds,
    ExtraChecks_Interface: GetRObjectVTable<Unerasability, _Self, RBox<()>, RBox<_Self>>, 

Constructs this trait from a type that implements ExtraChecks.

unerasability describes whether the trait object can be converted back into the original type or not.
Its possible values are TU_Unerasable and TU_Opaque.

impl<'_sub> ExtraChecks_TO<RRef<'_sub, ()>>

pub const fn from_const<_Self, Unerasability>(
    ptr: &'_sub _Self,
    unerasability: Unerasability,
    vtable_for: VTableTO_RO<_Self, RRef<'_sub, _Self>, Unerasability, VTable<(), RRef<'_sub, ()>>>
) -> Self where
    _Self: 'static, 

Constructs this trait from a constant of a type that implements ExtraChecks.

You can construct the vtable_for parameter with ExtraChecks_MV::VTABLE.

unerasability describes whether the trait object can be converted back into the original type or not.
Its possible values are TU_Unerasable and TU_Opaque.

impl<_ErasedPtr> ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind,
    Self: Clone + Display + Debug + Send + Sync + Sized, 

pub fn type_layout(&self) -> &'static TypeLayout where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

This is the inherent equivalent of the trait method of the same name

pub fn check_compatibility(
    &self,
    param_0: &'static TypeLayout,
    param_1: &'static TypeLayout,
    param_2: TypeCheckerMut<'_>
) -> RResult<(), ExtraChecksError> where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

This is the inherent equivalent of the trait method of the same name

pub fn nested_type_layouts<'_self>(
    &'_self self
) -> RCow<'_self, [&'static TypeLayout]> where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

This is the inherent equivalent of the trait method of the same name

pub fn combine(
    &self,
    param_0: ExtraChecksRef<'_>,
    param_1: TypeCheckerMut<'_>
) -> RResult<ROption<ExtraChecksBox>, ExtraChecksError> where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

This is the inherent equivalent of the trait method of the same name

Trait Implementations

impl<_ErasedPtr> Clone for ExtraChecks_TO<_ErasedPtr> where
    ExtraChecks_Backend<_ErasedPtr>: Clone,
    _ErasedPtr: __GetPointerKind<Target = ()>, 

pub fn clone(&self) -> Self

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<_ErasedPtr> Debug for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<_ErasedPtr> Display for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind<Target = ()>, 

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<_ErasedPtr> GetStaticEquivalent_ for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind,
    _ErasedPtr: __StableAbi,
    ExtraChecks_Backend<_ErasedPtr>: StableAbi, 

type StaticEquivalent = _static_ExtraChecks_TO<__GetStaticEquivalent<_ErasedPtr>>

impl<_ErasedPtr> Send for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind, 

impl<_ErasedPtr> StableAbi for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind,
    _ErasedPtr: __StableAbi,
    ExtraChecks_Backend<_ErasedPtr>: StableAbi, 

type IsNonZeroType = <ExtraChecks_Backend<_ErasedPtr> as __StableAbi>::IsNonZeroType

Whether this type has a single invalid bit-pattern.

pub const LAYOUT: &'static TypeLayout

The layout of the type provided by implementors.

pub const ABI_CONSTS: AbiConsts

const-equivalents of the associated types.

impl<_ErasedPtr> Sync for ExtraChecks_TO<_ErasedPtr> where
    _ErasedPtr: __GetPointerKind,