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