Merge subtree update for toolchain nightly-2025-04-24 (model-checking#342)

This is an automated PR to merge library subtree updates from 2025-04-23
(rust-lang/rust@6bc57c6) to 2025-04-24
(rust-lang/rust@df35ff6) (inclusive)
into main. `git merge` resulted in conflicts, which require manual
resolution. Files were commited with merge conflict markers. **Do not
remove or edit the following annotations:**
git-subtree-dir: library
git-subtree-split: 563e49d

---------

Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
Signed-off-by: Petros Angelatos <petrosagg@gmail.com>
Signed-off-by: Huang Qi <huangqi3@xiaomi.com>
Signed-off-by: Ayush Singh <ayush@beagleboard.org>
Signed-off-by: Alice Ryhl <aliceryhl@google.com>
Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Mara Bos <m-ou.se@m-ou.se>
Co-authored-by: mejrs <59372212+mejrs@users.noreply.github.com>
Co-authored-by: okaneco <47607823+okaneco@users.noreply.github.com>
Co-authored-by: Jacob Pratt <jacob@jhpratt.dev>
Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn>
Co-authored-by: Benoît du Garreau <benoit@dugarreau.fr>
Co-authored-by: clubby789 <jamie@hill-daniel.co.uk>
Co-authored-by: Takayuki Maeda <takoyaki0316@gmail.com>
Co-authored-by: Daniel Bloom <daniel@wormholelabs.xyz>
Co-authored-by: Trevor Gross <tmgross@umich.edu>
Co-authored-by: Jake Wharton <jw@squareup.com>
Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com>
Co-authored-by: Kornel <kornel@geekhood.net>
Co-authored-by: Chris Denton <chris@chrisdenton.dev>
Co-authored-by: Calder Coalson <caldercoalson@gmail.com>
Co-authored-by: Stuart Cook <Zalathar@users.noreply.github.com>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com>
Co-authored-by: izarma <phuckuhh@gmail.com>
Co-authored-by: Bennet Bleßmann <bb-github@t-online.de>
Co-authored-by: Celina G. Val <celinval@amazon.com>
Co-authored-by: Jonathan Gruner <jogru0@gmail.com>
Co-authored-by: Stan Manilov <stanislav.manilov@gmail.com>
Co-authored-by: Gabriel Bjørnager Jensen <gabriel@achernar.io>
Co-authored-by: lincot <lincot@disroot.org>
Co-authored-by: timesince <seekseat@icloud.com>
Co-authored-by: Boxy <rust@boxyuwu.dev>
Co-authored-by: oyvindln <oyvindln@users.noreply.github.com>
Co-authored-by: Berrysoft <Strawberry_Str@hotmail.com>
Co-authored-by: Alice Ryhl <aliceryhl@google.com>
Co-authored-by: Folkert de Vries <folkert@folkertdev.nl>
Co-authored-by: Bastian Kersting <bkersting@google.com>
Co-authored-by: Petros Angelatos <petrosagg@gmail.com>
Co-authored-by: Jesus Checa Hidalgo <jchecahi@redhat.com>
Co-authored-by: Michael Howell <michael@notriddle.com>
Co-authored-by: Ricardo Fernández Serrata <76864299+Rudxain@users.noreply.github.com>
Co-authored-by: GenYuLi <witherslin@synology.com>
Co-authored-by: Chris Denton <christophersdenton@gmail.com>
Co-authored-by: Amanieu d'Antras <amanieu@gmail.com>
Co-authored-by: Sky <sky@sky9.dev>
Co-authored-by: Huang Qi <huangqi3@xiaomi.com>
Co-authored-by: Ayush Singh <ayush@beagleboard.org>
Co-authored-by: Jethro Beekman <jethro@fortanix.com>
Co-authored-by: 0x79de <0x79de@gmail.com>
Co-authored-by: binarycat <binarycat@envs.net>
Co-authored-by: Glyn Normington <glyn.normington@gmail.com>
Co-authored-by: Tamir Duberstein <tamird@gmail.com>
Co-authored-by: Josh Triplett <josh@joshtriplett.org>
Co-authored-by: Bastian Kersting <bastian@cmbt.de>
Co-authored-by: Lyndon Brown <jnqnfe@gmail.com>
Co-authored-by: Kent Ross <k@mad.cash>
Co-authored-by: Noa <coolreader18@gmail.com>
Co-authored-by: Lieselotte <52315535+she3py@users.noreply.github.com>
Co-authored-by: Patrick Mooney <pmooney@pfmooney.com>
Co-authored-by: Onè <43485962+c-git@users.noreply.github.com>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Carolyn Zech <cmzech@amazon.com>

Author: 61 people

library/Cargo.lock

@@ -16,8 +16,8 @@ bench = false
 
 [dependencies]
 core = { path = "../core", public = true }
-compiler_builtins = { version = "=0.1.155", features = ['rustc-dep-of-std'] }
 safety = { path = "../contracts/safety" }
+compiler_builtins = { version = "=0.1.156", features = ['rustc-dep-of-std'] }
 
 [features]
 compiler-builtins-mem = ['compiler_builtins/mem']

library/alloc/Cargo.toml

@@ -151,6 +151,9 @@ impl f128 {
     pub const RADIX: u32 = 2;
 
     /// Number of significant digits in base 2.
+    ///
+    /// Note that the size of the mantissa in the bitwise representation is one
+    /// smaller than this since the leading 1 is not stored explicitly.
     #[unstable(feature = "f128", issue = "116909")]
     pub const MANTISSA_DIGITS: u32 = 113;
 

library/core/src/num/f128.rs

@@ -146,6 +146,9 @@ impl f16 {
     pub const RADIX: u32 = 2;
 
     /// Number of significant digits in base 2.
+    ///
+    /// Note that the size of the mantissa in the bitwise representation is one
+    /// smaller than this since the leading 1 is not stored explicitly.
     #[unstable(feature = "f16", issue = "116909")]
     pub const MANTISSA_DIGITS: u32 = 11;
 

library/core/src/num/f16.rs

@@ -396,6 +396,9 @@ impl f32 {
     pub const RADIX: u32 = 2;
 
     /// Number of significant digits in base 2.
+    ///
+    /// Note that the size of the mantissa in the bitwise representation is one
+    /// smaller than this since the leading 1 is not stored explicitly.
     #[stable(feature = "assoc_int_consts", since = "1.43.0")]
     pub const MANTISSA_DIGITS: u32 = 24;
 

library/core/src/num/f32.rs

@@ -396,6 +396,9 @@ impl f64 {
     pub const RADIX: u32 = 2;
 
     /// Number of significant digits in base 2.
+    ///
+    /// Note that the size of the mantissa in the bitwise representation is one
+    /// smaller than this since the leading 1 is not stored explicitly.
     #[stable(feature = "assoc_int_consts", since = "1.43.0")]
     pub const MANTISSA_DIGITS: u32 = 53;
     /// Approximate number of significant digits in base 10.

library/core/src/num/f64.rs

@@ -18,7 +18,7 @@ cfg-if = { version = "1.0", features = ['rustc-dep-of-std'] }
 panic_unwind = { path = "../panic_unwind", optional = true }
 panic_abort = { path = "../panic_abort" }
 core = { path = "../core", public = true }
-compiler_builtins = { version = "=0.1.155" }
+compiler_builtins = { version = "=0.1.156" }
 unwind = { path = "../unwind" }
 hashbrown = { version = "0.15", default-features = false, features = [
     'rustc-dep-of-std',

library/std/Cargo.toml

@@ -353,6 +353,15 @@ fn split_file_at_dot(file: &OsStr) -> (&OsStr, Option<&OsStr>) {
     }
 }
 
+/// Checks whether the string is valid as a file extension, or panics otherwise.
+fn validate_extension(extension: &OsStr) {
+    for &b in extension.as_encoded_bytes() {
+        if is_sep_byte(b) {
+            panic!("extension cannot contain path separators: {extension:?}");
+        }
+    }
+}
+
 ////////////////////////////////////////////////////////////////////////////////
 // The core iterators
 ////////////////////////////////////////////////////////////////////////////////
@@ -1507,13 +1516,7 @@ impl PathBuf {
     }
 
     fn _set_extension(&mut self, extension: &OsStr) -> bool {
-        for &b in extension.as_encoded_bytes() {
-            if b < 128 {
-                if is_separator(b as char) {
-                    panic!("extension cannot contain path separators: {:?}", extension);
-                }
-            }
-        }
+        validate_extension(extension);
 
         let file_stem = match self.file_stem() {
             None => return false,
@@ -1541,6 +1544,11 @@ impl PathBuf {
     /// Returns `false` and does nothing if [`self.file_name`] is [`None`],
     /// returns `true` and updates the extension otherwise.
     ///
+    /// # Panics
+    ///
+    /// Panics if the passed extension contains a path separator (see
+    /// [`is_separator`]).
+    ///
     /// # Caveats
     ///
     /// The appended `extension` may contain dots and will be used in its entirety,
@@ -1582,6 +1590,8 @@ impl PathBuf {
     }
 
     fn _add_extension(&mut self, extension: &OsStr) -> bool {
+        validate_extension(extension);
+
         let file_name = match self.file_name() {
             None => return false,
             Some(f) => f.as_encoded_bytes(),

library/std/src/path.rs

@@ -415,6 +415,7 @@ impl Command {
         all(target_os = "linux", target_env = "musl"),
         target_os = "nto",
         target_vendor = "apple",
+        target_os = "cygwin",
     )))]
     fn posix_spawn(
         &mut self,
@@ -433,6 +434,7 @@ impl Command {
         all(target_os = "linux", target_env = "musl"),
         target_os = "nto",
         target_vendor = "apple",
+        target_os = "cygwin",
     ))]
     fn posix_spawn(
         &mut self,
@@ -584,7 +586,7 @@ impl Command {
         /// Some platforms can set a new working directory for a spawned process in the
         /// `posix_spawn` path. This function looks up the function pointer for adding
         /// such an action to a `posix_spawn_file_actions_t` struct.
-        #[cfg(not(all(target_os = "linux", target_env = "musl")))]
+        #[cfg(not(any(all(target_os = "linux", target_env = "musl"), target_os = "cygwin")))]
         fn get_posix_spawn_addchdir() -> Option<PosixSpawnAddChdirFn> {
             use crate::sys::weak::weak;
 
@@ -618,7 +620,9 @@ impl Command {
         /// Weak symbol lookup doesn't work with statically linked libcs, so in cases
         /// where static linking is possible we need to either check for the presence
         /// of the symbol at compile time or know about it upfront.
-        #[cfg(all(target_os = "linux", target_env = "musl"))]
+        ///
+        /// Cygwin doesn't support weak symbol, so just link it.
+        #[cfg(any(all(target_os = "linux", target_env = "musl"), target_os = "cygwin"))]
         fn get_posix_spawn_addchdir() -> Option<PosixSpawnAddChdirFn> {
             // Our minimum required musl supports this function, so we can just use it.
             Some(libc::posix_spawn_file_actions_addchdir_np)

library/std/src/sys/process/unix/unix.rs

@@ -112,6 +112,8 @@ fn test_nan() {
     assert!(!nan.is_sign_negative());
     assert!(!nan.is_normal());
     assert_eq!(Fp::Nan, nan.classify());
+    // Ensure the quiet bit is set.
+    assert!(nan.to_bits() & (1 << (f128::MANTISSA_DIGITS - 2)) != 0);
 }
 
 #[test]