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§

Implementors§