Function arc_raw_as_ref Copy item path

pub unsafe exec fn arc_raw_as_ref<'a, T: 'static>(
    raw: NonNull<T>,
    perm: Tracked<ArcPointsTo<T>>,
) -> ret : ArcRef<'a, T>

perm@.ptr() == ptr_mut_from_nonnull(raw),

perm@.inv(),

ret.ptr() == perm@.ptr(),