From 2e19940674bc7c5293a6cc09b6dc326d9466d1fe Mon Sep 17 00:00:00 2001
From: John Spray <john@neon.tech>
Date: Thu, 5 Oct 2023 09:47:58 +0100
Subject: [PATCH] Update pageserver/src/virtual_file.rs

Co-authored-by: Joonas Koivunen <joonas@neon.tech>
---
 pageserver/src/virtual_file.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pageserver/src/virtual_file.rs b/pageserver/src/virtual_file.rs
index b5c85cb506..eb9c8b1311 100644
--- a/pageserver/src/virtual_file.rs
+++ b/pageserver/src/virtual_file.rs
@@ -180,7 +180,7 @@ const EBADF: i32 = 9;
 /// cause: this includes EIO, EROFS, and EACCESS: all these indicate either
 /// bad storage or bad configuration, and we can't fix that from inside
 /// a running process.
-pub(crate) fn on_fatal_io_error(e: &std::io::Error) {
+pub(crate) fn on_fatal_io_error(e: &std::io::Error) -> ! {
     tracing::error!("Fatal I/O error: {}", &e);
     std::process::abort();
 }