[−][src]Struct abi_stable::abi_stability::extra_checks::TypeChecker_trait::TypeChecker_MV
A helper struct used to construct the vtable for TypeChecker_CTO,with TypeChecker_MV::VTABLE
Implementations
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
_Self: TypeChecker_Bounds,
_OrigPtr: CanTransmuteElement<(), Target = _Self, TransmutedPtr = _ErasedPtr>,
_ErasedPtr: __GetPointerKind<Target = ()>,
TypeChecker_Interface: GetRObjectVTable<IA, _Self, _ErasedPtr, _OrigPtr>, [src]
_Self: TypeChecker_Bounds,
_OrigPtr: CanTransmuteElement<(), Target = _Self, TransmutedPtr = _ErasedPtr>,
_ErasedPtr: __GetPointerKind<Target = ()>,
TypeChecker_Interface: GetRObjectVTable<IA, _Self, _ErasedPtr, _OrigPtr>,
pub const VTABLE: VTableTO_RO<_Self, _OrigPtr, IA, VTable<(), _ErasedPtr>>[src]
pub unsafe extern "C" fn check_compatibility(
_self: &mut __ErasedObject<_Self>,
param_0: &'static TypeLayout,
param_1: &'static TypeLayout
) -> RResult<(), ExtraChecksError>[src]
_self: &mut __ErasedObject<_Self>,
param_0: &'static TypeLayout,
param_1: &'static TypeLayout
) -> RResult<(), ExtraChecksError>
pub unsafe extern "C" fn local_check_compatibility(
_self: &mut __ErasedObject<_Self>,
param_0: &'static TypeLayout,
param_1: &'static TypeLayout
) -> RResult<(), ExtraChecksError>[src]
_self: &mut __ErasedObject<_Self>,
param_0: &'static TypeLayout,
param_1: &'static TypeLayout
) -> RResult<(), ExtraChecksError>
Auto Trait Implementations
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> RefUnwindSafe for TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
IA: RefUnwindSafe,
_ErasedPtr: RefUnwindSafe,
_OrigPtr: RefUnwindSafe,
_Self: RefUnwindSafe,
IA: RefUnwindSafe,
_ErasedPtr: RefUnwindSafe,
_OrigPtr: RefUnwindSafe,
_Self: RefUnwindSafe,
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> Send for TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
IA: Send,
_ErasedPtr: Send,
_OrigPtr: Send,
_Self: Send,
IA: Send,
_ErasedPtr: Send,
_OrigPtr: Send,
_Self: Send,
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> Sync for TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
IA: Sync,
_ErasedPtr: Sync,
_OrigPtr: Sync,
_Self: Sync,
IA: Sync,
_ErasedPtr: Sync,
_OrigPtr: Sync,
_Self: Sync,
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> Unpin for TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
IA: Unpin,
_ErasedPtr: Unpin,
_OrigPtr: Unpin,
_Self: Unpin,
IA: Unpin,
_ErasedPtr: Unpin,
_OrigPtr: Unpin,
_Self: Unpin,
impl<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> UnwindSafe for TypeChecker_MV<'lt, '_sub, IA, _Self, _ErasedPtr, _OrigPtr> where
IA: UnwindSafe,
_ErasedPtr: UnwindSafe,
_OrigPtr: UnwindSafe,
_Self: UnwindSafe,
IA: UnwindSafe,
_ErasedPtr: UnwindSafe,
_OrigPtr: UnwindSafe,
_Self: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> SelfOps for T where
T: ?Sized, [src]
T: ?Sized,
const T: PhantomData<fn() -> Self>[src]
const T_D: PhantomData<Self>[src]
fn assert_ty(self, _other: PhantomData<fn() -> Self>) -> Self[src]
fn assert_ty_ref(&self, _other: PhantomData<fn() -> Self>) -> &Self[src]
fn assert_ty_mut(&mut self, _other: PhantomData<fn() -> Self>) -> &mut Self[src]
fn ty_(&self) -> PhantomData<fn() -> Self>[src]
fn ty_d(&self) -> PhantomData<Self>[src]
fn ty_inv(&self) -> PhantomData<fn(Self) -> Self>[src]
fn ty_inv_ref(&self) -> PhantomData<Cell<&Self>>[src]
fn eq_id(&self, other: &Self) -> bool[src]
fn piped<F, U>(self, f: F) -> U where
F: FnOnce(Self) -> U, [src]
F: FnOnce(Self) -> U,
fn piped_ref<'a, F, U>(&'a self, f: F) -> U where
F: FnOnce(&'a Self) -> U, [src]
F: FnOnce(&'a Self) -> U,
fn piped_mut<'a, F, U>(&'a mut self, f: F) -> U where
F: FnOnce(&'a mut Self) -> U, [src]
F: FnOnce(&'a mut Self) -> U,
fn mutated<F>(self, f: F) -> Self where
F: FnOnce(&mut Self), [src]
F: FnOnce(&mut Self),
fn observe<F>(self, f: F) -> Self where
F: FnOnce(&Self), [src]
F: FnOnce(&Self),
fn into_<T>(self, PhantomData<fn() -> T>) -> T where
Self: Into<T>, [src]
Self: Into<T>,
fn as_ref_<T>(&self) -> &T where
Self: AsRef<T>,
T: ?Sized, [src]
Self: AsRef<T>,
T: ?Sized,
fn as_mut_<T>(&mut self) -> &mut T where
Self: AsMut<T>,
T: ?Sized, [src]
Self: AsMut<T>,
T: ?Sized,
fn drop_(self)[src]
impl<This> TransmuteElement for This where
This: ?Sized, [src]
This: ?Sized,
unsafe fn transmute_element<T>(self) -> Self::TransmutedPtr where
Self: CanTransmuteElement<T>,
Self::Target: Sized, [src]
Self: CanTransmuteElement<T>,
Self::Target: Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The error type returned when the conversion fails.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> TypeIdentity for T where
T: ?Sized, [src]
T: ?Sized,
type Type = T
The same type as Self. Read more
fn into_type_val(self) -> Self::Type where
Self::Type: Sized, [src]
Self::Type: Sized,
fn into_type_ref(&self) -> &Self::Type[src]
fn into_type_mut(&mut self) -> &mut Self::Type[src]
fn into_type_box(self: Box<Self>) -> Box<Self::Type>[src]
fn into_type_arc(this: Arc<Self>) -> Arc<Self::Type>[src]
fn into_type_rc(this: Rc<Self>) -> Rc<Self::Type>[src]
fn from_type_val(this: Self::Type) -> Self where
Self::Type: Sized, [src]
Self::Type: Sized,