manually_drop_deref_spec

vstd_extra::external::manually_drop

Function manually_drop_deref_spec 

Source 
pub uninterp fn manually_drop_deref_spec<T: ?Sized>(v: &ManuallyDrop<T>) -> &T
Expand description