From be537fb60c96d2f89c2ee4be161edb7206bf791e Mon Sep 17 00:00:00 2001
From: felixxia-oai <felixxia@openai.com>
Date: Thu, 22 Oct 2026 16:30:58 +0000
Subject: [PATCH] Remove the `u64` cast from WSL DrvFS detection (#56214)

GitOrigin-RevId: 9298584c88089222fe61209b76641fa970555e1f
---
 codex-rs/tui/src/daemon_startup.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/codex-rs/tui/src/daemon_startup.rs b/codex-rs/tui/src/daemon_startup.rs
index f4be842174..6c7dca5074 100644
--- a/codex-rs/tui/src/daemon_startup.rs
+++ b/codex-rs/tui/src/daemon_startup.rs
@@ -39,7 +39,7 @@ pub fn uses_wsl_drvfs(codex_home: &std::path::Path) -> bool {
         if unsafe { libc::fstatfs(directory.as_raw_fd(), stats.as_mut_ptr()) } != 0 {
             return false;
         }
-        unsafe { stats.assume_init() }.f_type as u64 == 0x0102_1997
+        unsafe { stats.assume_init() }.f_type == 0x0102_1997
     }
     #[cfg(not(target_os = "linux"))]
     {