Method delete_internal_skip_pointer_map

crates/table/src/table.rs:1211–1228

Deletes a row in the page manager without deleting it logically in the pointer map. # Safety `ptr` must point to a valid, live row in this table.

(
        &mut self,
        blob_store: &mut dyn BlobStore,
        ptr: RowPointer,
    )

    ///
    /// `ptr` must point to a valid, live row in this table.
    pub unsafe fn delete_internal_skip_pointer_map(
        &mut self,
        blob_store: &mut dyn BlobStore,
        ptr: RowPointer,
    ) -> BlobNumBytes {
        debug_assert!(self.is_row_present(ptr));
        // Delete the physical row.
        //
        // SAFETY:
        // - `ptr` points to a valid row in this table, per our invariants.
        // - `self.row_size` known to be consistent with `self.pages`,
        //    as the two are tied together in `Table::new`.
        unsafe {
            self.inner
                .pages
                .delete_row(&self.inner.visitor_prog, self.row_size(), ptr, blob_store)
        }
    }

    /// Deletes the row identified by `ptr` from the table.
    ///