Function box_raw_as_ref Copy item path

pub unsafe exec fn box_raw_as_ref<'a, T: 'static>(
    raw: NonNull<T>,
    perm: Tracked<&'a BoxPointsTo<T>>,
) -> BoxRef<'a, T>

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

perm@.inv(),