manually_drop_unwrap

vstd_extra::external::manually_drop

Function manually_drop_unwrap 

Source 
pub open spec fn manually_drop_unwrap<T>(v: ManuallyDrop<T>) -> T
Expand description
{ *manually_drop_deref_spec(&v) }