Trait VTableSubset 

pub unsafe trait VTableSubset<B>: VTable {
    type Subset: VTable<Bounds = B>;

    // Required method
    fn into_subset(self) -> Self::Subset;
}

Convert vtable into a vtable with less dynamic trait bounds.

Safety

The type the vtable describes must not change.

Required Associated Types

type Subset: VTable<Bounds = B>

The type of the new vtable.

Required Methods

fn into_subset(self) -> Self::Subset

Convert a vtable.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, 'b, B: IsBound, Bnew> VTableSubset<Bnew> for &'a LifetimeVTable<'b, B>

where Bnew: Subset<B> + IsBound,

type Subset = &'a LifetimeVTable<'b, Bnew>

impl<'a, B: IsBound, Bnew> VTableSubset<Bnew> for &'a StaticVTable<B>

where Bnew: Subset<B> + IsBound,

type Subset = &'a StaticVTable<Bnew>

impl<'a, B: IsBound, Bnew> VTableSubset<Bnew> for LifetimeVTable<'a, B>

where Bnew: Subset<B> + IsBound,

type Subset = LifetimeVTable<'a, Bnew>

impl<'a, T: VTable, Bnew: IsBound> VTableSubset<Bnew> for Unaligned<&'a T>

where &'a T: VTableSubset<Bnew>, <&'a T as VTableSubset<Bnew>>::Subset: Copy, Unaligned<<&'a T as VTableSubset<Bnew>>::Subset>: VTable<Bounds = Bnew>,

type Subset = Unaligned<<&'a T as VTableSubset<Bnew>>::Subset>

impl<B: IsBound, Bnew> VTableSubset<Bnew> for StaticVTable<B>

where Bnew: Subset<B> + IsBound,

type Subset = StaticVTable<Bnew>