arc_into_raw

vstd_extra::external::smart_ptr

Function arc_into_raw 

Source 
pub exec fn arc_into_raw<T>(p: Arc<T>) -> (*const T, Tracked<ArcPointsTo<T>>)
Expand description
ensures
ret == arc_pointer_spec(p),
ret == perm@.ptr(),
perm@.ptr().addr() != 0,
perm@.is_init(),
perm@.ptr().addr() as int % vstd::layout::align_of::<T>() as int == 0,