manually_drop_new_spec
vstd_
extra
In vstd_
extra::
external::
manually_
drop
vstd_extra
::
external
::
manually_drop
Function
manually_
drop_
new_
spec
Copy item path
Source
pub
uninterp
fn manually_drop_new_spec<T>(v: T) ->
ManuallyDrop
<T>
Expand description