vstd::std_specs::core

Trait ExPtrPointee

Source 
pub trait ExPtrPointee {
    type ExternalTraitSpecificationFor: Pointee;
    type Metadata: Copy + Send + Sync + Ord + Hash + Unpin + Debug + Sized + Freeze;
}

Required Associated Types§

Source

type ExternalTraitSpecificationFor: Pointee

Source

type Metadata: Copy + Send + Sync + Ord + Hash + Unpin + Debug + Sized + Freeze

Implementors§