model-checking
diff --git a/‎std/src/os/wasi/io/fd.rs
-9 b/‎std/src/os/wasi/io/fd.rs
-9
diff --git a/‎std/src/os/wasi/io/mod.rs
+4 b/‎std/src/os/wasi/io/mod.rs
+4
diff --git a/‎std/src/os/wasi/io/raw.rs
-20 b/‎std/src/os/wasi/io/raw.rs
-20
diff --git a/‎std/src/os/wasi/io/fd/tests.rs renamed to ‎std/src/os/wasi/io/tests.rs b/‎std/src/os/wasi/io/fd/tests.rs renamed to ‎std/src/os/wasi/io/tests.rs
@@ -4,3 +4,7 @@
 
 #[stable(feature = "io_safety_wasi", since = "1.65.0")]
 pub use crate::os::fd::*;
+
+// Tests for this module
+#[cfg(test)]
+mod tests;