diff --git a/src/platform/redox/mod.rs b/src/platform/redox/mod.rs
index 2be89e412c..3861983de1 100644
--- a/src/platform/redox/mod.rs
+++ b/src/platform/redox/mod.rs
@@ -250,10 +250,7 @@ impl Pal for Sys {
     }
 
     fn exit(status: c_int) -> ! {
-        #[expect(clippy::diverging_sub_expression)]
-        let _ = redox_rt::sys::posix_exit(status);
-        #[expect(clippy::empty_loop)]
-        loop {}
+        redox_rt::sys::posix_exit(status)
     }
 
     unsafe fn execve(path: CStr, argv: *const *mut c_char, envp: *const *mut c_char) -> Result<()> {