Function vstd::std_specs::smart_ptrs::box_clone

source · 
pub exec fn box_clone<T: Clone, A: Allocator + Clone>(b: &Box<T, A>) -> res : Box<T, A>
Expand description
ensures
call_ensures(T::clone, (&**b,), *res),