Trait vstd::std_specs::core::ExPtrPointee

source · 
pub trait ExPtrPointee {
    type ExternalTraitSpecificationFor: Pointee;
    type Metadata: Copy + Send + Sync + Ord + Hash + Unpin;
}

Required Associated Types§

source

type ExternalTraitSpecificationFor: Pointee

source

type Metadata: Copy + Send + Sync + Ord + Hash + Unpin

Implementors§