Function vstd::std_specs::smart_ptrs::box_into_vec
source · pub exec fn box_into_vec<T, A: Allocator>(b: Box<[T], A>) -> v : Vec<T, A>Expand description
ensures
v@ == b@,pub exec fn box_into_vec<T, A: Allocator>(b: Box<[T], A>) -> v : Vec<T, A>v@ == b@,