From 717b7cb73e5e9dd292a8920f2092e9187c4f1c04 Mon Sep 17 00:00:00 2001
From: Christian Schwarz <christian@neon.tech>
Date: Wed, 17 Apr 2024 13:32:31 +0000
Subject: [PATCH] safety comment

---
 .../owned_buffers_io/write/zero_initialized_buffer.rs         | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pageserver/src/virtual_file/owned_buffers_io/write/zero_initialized_buffer.rs b/pageserver/src/virtual_file/owned_buffers_io/write/zero_initialized_buffer.rs
index 90b7e9182a..a48bb9767a 100644
--- a/pageserver/src/virtual_file/owned_buffers_io/write/zero_initialized_buffer.rs
+++ b/pageserver/src/virtual_file/owned_buffers_io/write/zero_initialized_buffer.rs
@@ -54,6 +54,10 @@ impl<const N: usize> Buf<N> {
     }
 }
 
+/// SAFETY:
+///
+/// The [`Self::allocation`] is stable becauses boxes are stable.
+///
 unsafe impl<const N: usize> tokio_epoll_uring::IoBuf for Buf<N> {
     fn stable_ptr(&self) -> *const u8 {
         self.allocation.as_ptr()