arc_ref_as_raw

ostd::sync::non_null

Function arc_ref_as_raw 

Source 
pub exec fn arc_ref_as_raw<T: 'static>(
    ptr_ref: ArcRef<'_, T>,
) -> (NonNull<T>, Tracked<ArcPointsTo<T>>)
Expand description
ensures
ret == nonnull_from_ptr_mut(ptr_ref.ptr() as *mut T),
perm@.ptr().addr() != 0,
perm@.ptr().addr() as int % vstd::layout::align_of::<T>() as int == 0,
perm@.ptr() == ptr_mut_from_nonnull(ret),
perm@.inv(),