Struct abi_stable::abi_stability::extra_checks::ExtraChecks_TO [−][src]
#[repr(transparent)]pub struct ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: __GetPointerKind, {
pub obj: ExtraChecks_Backend<_ErasedPtr>,
// some fields omitted
}
Expand description
The trait object for ExtraChecks.
There are extra methods on the obj
field.
Fields
obj: ExtraChecks_Backend<_ErasedPtr>
Implementations
pub fn from_ptr<_OrigPtr, Downcasting>(
ptr: _OrigPtr,
can_it_downcast: Downcasting
) -> Self where
_OrigPtr: CanTransmuteElement<(), TransmutedPtr = _ErasedPtr>,
_OrigPtr::PtrTarget: ExtraChecks_Bounds + Sized,
_ErasedPtr: AsPtr<PtrTarget = ()>,
ExtraChecks_Interface: GetRObjectVTable<Downcasting, _OrigPtr::PtrTarget, _ErasedPtr, _OrigPtr>,
pub fn from_ptr<_OrigPtr, Downcasting>(
ptr: _OrigPtr,
can_it_downcast: Downcasting
) -> Self where
_OrigPtr: CanTransmuteElement<(), TransmutedPtr = _ErasedPtr>,
_OrigPtr::PtrTarget: ExtraChecks_Bounds + Sized,
_ErasedPtr: AsPtr<PtrTarget = ()>,
ExtraChecks_Interface: GetRObjectVTable<Downcasting, _OrigPtr::PtrTarget, _ErasedPtr, _OrigPtr>,
Constructs this trait object from a pointer to a type that implements ExtraChecks
.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
can_it_downcast
describes whether the trait object can be converted back into the original type or not.
Its possible values are TD_CanDowncast
and TD_Opaque
.
Constructs this trait object from its underlying implementation.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
pub fn sabi_reborrow<'_sub>(&'_sub self) -> ExtraChecks_TO<RRef<'_sub, ()>> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
pub fn sabi_reborrow<'_sub>(&'_sub self) -> ExtraChecks_TO<RRef<'_sub, ()>> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
Reborrows this trait object to a reference-based trait object.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
pub fn sabi_reborrow_mut<'_sub>(
&'_sub mut self
) -> ExtraChecks_TO<RMut<'_sub, ()>> where
_ErasedPtr: AsMutPtr<PtrTarget = ()>,
pub fn sabi_reborrow_mut<'_sub>(
&'_sub mut self
) -> ExtraChecks_TO<RMut<'_sub, ()>> where
_ErasedPtr: AsMutPtr<PtrTarget = ()>,
Reborrows this trait object to a mutable-reference-based trait object.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
pub fn from_value<_Self, Downcasting>(
ptr: _Self,
can_it_downcast: Downcasting
) -> Self where
_Self: ExtraChecks_Bounds,
ExtraChecks_Interface: GetRObjectVTable<Downcasting, _Self, RBox<()>, RBox<_Self>>,
pub fn from_value<_Self, Downcasting>(
ptr: _Self,
can_it_downcast: Downcasting
) -> Self where
_Self: ExtraChecks_Bounds,
ExtraChecks_Interface: GetRObjectVTable<Downcasting, _Self, RBox<()>, RBox<_Self>>,
Constructs this trait from a type that implements ExtraChecks
.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
can_it_downcast
describes whether the trait object can be converted back into the original type or not.
Its possible values are TD_CanDowncast
and TD_Opaque
.
pub const fn from_const<_Self, Downcasting>(
ptr: &'_sub _Self,
can_it_downcast: Downcasting,
vtable_for: VTableTO_RO<_Self, RRef<'_sub, _Self>, Downcasting, VTable<(), RRef<'_sub, ()>>>
) -> Self where
_Self: 'static,
pub const fn from_const<_Self, Downcasting>(
ptr: &'_sub _Self,
can_it_downcast: Downcasting,
vtable_for: VTableTO_RO<_Self, RRef<'_sub, _Self>, Downcasting, VTable<(), RRef<'_sub, ()>>>
) -> Self where
_Self: 'static,
Constructs this trait from a constant of a type that implements ExtraChecks
.
This method is automatically generated,
for more documentation you can look at
abi_stable::docs::sabi_trait_inherent
You can construct the vtable_for
parameter with ExtraChecks_MV::VTABLE
.
can_it_downcast
describes whether the trait object can be converted back into the original type or not.
Its possible values are TD_CanDowncast
and TD_Opaque
.
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: AsPtr<PtrTarget = ()>,
pub fn check_compatibility(
&self,
param_0: &'static TypeLayout,
param_1: &'static TypeLayout,
param_2: TypeCheckerMut<'_>
) -> RResult<(), ExtraChecksError> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
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: AsPtr<PtrTarget = ()>,
pub fn nested_type_layouts<'_self>(
&'_self self
) -> RCow<'_self, [&'static TypeLayout]> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
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: AsPtr<PtrTarget = ()>,
pub fn combine(
&self,
param_0: ExtraChecksRef<'_>,
param_1: TypeCheckerMut<'_>
) -> RResult<ROption<ExtraChecksBox>, ExtraChecksError> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
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: AsPtr<PtrTarget = ()>,
impl<_ErasedPtr> Clone for ExtraChecks_TO<_ErasedPtr> where
ExtraChecks_Backend<_ErasedPtr>: Clone,
_ErasedPtr: AsPtr<PtrTarget = ()>,
impl<_ErasedPtr> Display for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
impl<_ErasedPtr> Display for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: AsPtr<PtrTarget = ()>,
impl<_ErasedPtr> GetStaticEquivalent_ for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: __GetPointerKind,
_ErasedPtr: __StableAbi,
ExtraChecks_Backend<_ErasedPtr>: StableAbi,
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> StableAbi for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: __GetPointerKind,
_ErasedPtr: __StableAbi,
ExtraChecks_Backend<_ErasedPtr>: StableAbi,
impl<_ErasedPtr> StableAbi for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: __GetPointerKind,
_ErasedPtr: __StableAbi,
ExtraChecks_Backend<_ErasedPtr>: StableAbi,
type IsNonZeroType = <ExtraChecks_Backend<_ErasedPtr> as __StableAbi>::IsNonZeroType
type IsNonZeroType = <ExtraChecks_Backend<_ErasedPtr> as __StableAbi>::IsNonZeroType
Whether this type has a single invalid bit-pattern. Read more
The layout of the type provided by implementors.
const
-equivalents of the associated types.
Auto Trait Implementations
impl<_ErasedPtr> RefUnwindSafe for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: RefUnwindSafe,
impl<_ErasedPtr> Unpin for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: Unpin,
impl<_ErasedPtr> UnwindSafe for ExtraChecks_TO<_ErasedPtr> where
_ErasedPtr: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
type ROwned = T
type ROwned = T
The owned type, stored in RCow::Owned
type ForSelf = WithMetadata_<T, T>
type ForSelf = WithMetadata_<T, T>
This is always WithMetadata_<Self, Self>
Compares the address of self
with the address of other
. Read more
Emulates the pipeline operator, allowing method syntax in more places. Read more
The same as piped
except that the function takes &Self
Useful for functions that take &Self
instead of Self
. Read more
The same as piped
, except that the function takes &mut Self
.
Useful for functions that take &mut Self
instead of Self
. Read more
Mutates self using a closure taking self by mutable reference, passing it along the method chain. Read more
Observes the value of self, passing it along unmodified. Useful in long method chains. Read more
Performs a conversion with Into
.
using the turbofish .into_::<_>()
syntax. Read more
Performs a reference to reference conversion with AsRef
,
using the turbofish .as_ref_::<_>()
syntax. Read more
Performs a mutable reference to mutable reference conversion with AsMut
,
using the turbofish .as_mut_::<_>()
syntax. Read more
unsafe fn transmute_element<T>(
self
) -> <Self as CanTransmuteElement<T>>::TransmutedPtr where
Self: CanTransmuteElement<T>,
unsafe fn transmute_element<T>(
self
) -> <Self as CanTransmuteElement<T>>::TransmutedPtr where
Self: CanTransmuteElement<T>,
Transmutes the element type of this pointer.. Read more
type Type = T
type Type = T
This is always Self
.
Converts a value back to the original type.
Converts a mutable reference back to the original type.
alloc
only.Converts a box back to the original type.
Converts a value back to the original type.
Converts a reference back to the original type.
Converts a mutable reference back to the original type.
alloc
only.Converts a box back to the original type.
alloc
only.Converts an Arc back to the original type.
alloc
only.Converts an Rc back to the original type.