Merge pull request #96 from RalfJung/rustup

make tests work now that we cross-run doctests

Author: RalfJung

ci-test.sh

@@ -55,7 +55,7 @@ alloc)
     ;;
 std)
     # Modules that we skip because they need a lot of shims we don't support.
-    SKIP="fs:: net:: process:: sys::pal:: sys::fd::"
+    SKIP="fs:: net:: process:: sys::fd:: sys::pal::"
 
     # A 64bit little-endian and a 32bit big-endian target,
     # as well as targets covering all major OSes and both ABIs on Windows.

rust-src.diff

@@ -0,0 +1,12 @@
+diff --git a/library/std/src/io/mod.rs b/library/std/src/io/mod.rs
+index 96fac4f6bde..fbb3ea603ab 100644
+--- a/library/std/src/io/mod.rs
++++ b/library/std/src/io/mod.rs
+@@ -2335,6 +2335,7 @@ pub trait BufRead: Read {
+     /// #![feature(buf_read_has_data_left)]
+     /// use std::io;
+     /// use std::io::prelude::*;
++    /// # if cfg!(all(miri, windows)) { return Ok(()); } // FIXME(miri-windows-file-access)
+     ///
+     /// let stdin = io::stdin();
+     /// let mut stdin = stdin.lock();

rust-version

@@ -1 +1 @@
-nightly-2025-05-01
+nightly-2025-05-18