Merge subtree update for toolchain nightly-2025-07-30 (model-checking#432)

This is an automated PR to merge library subtree updates from 2025-07-21
(rust-lang/rust@9982d64) to 2025-07-30
(rust-lang/rust@ba7e63b) (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: 2f8dad2

---------

Signed-off-by: xizheyin <[email protected]>
Signed-off-by: Ayush Singh <[email protected]>
Co-authored-by: Marijn Schouten <[email protected]>
Co-authored-by: Roger Curley <[email protected]>
Co-authored-by: Ralf Jung <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Matthias Krüger <[email protected]>
Co-authored-by: Folkert de Vries <[email protected]>
Co-authored-by: okaneco <[email protected]>
Co-authored-by: Folkert de Vries <[email protected]>
Co-authored-by: Sayantan Chakraborty <[email protected]>
Co-authored-by: nazo6 <[email protected]>
Co-authored-by: bors <[email protected]>
Co-authored-by: Jakub Beránek <[email protected]>
Co-authored-by: Orson Peters <[email protected]>
Co-authored-by: León Orell Valerian Liehr <[email protected]>
Co-authored-by: xizheyin <[email protected]>
Co-authored-by: Deadbeef <[email protected]>
Co-authored-by: René Kijewski <[email protected]>
Co-authored-by: Nik Revenco <[email protected]>
Co-authored-by: The Miri Cronjob Bot <[email protected]>
Co-authored-by: Tim (Theemathas) Chirananthavat <[email protected]>
Co-authored-by: Chris Denton <[email protected]>
Co-authored-by: Samuel Tardieu <[email protected]>
Co-authored-by: Travis Cross <[email protected]>
Co-authored-by: Amanieu d'Antras <[email protected]>
Co-authored-by: Oli Scherer <[email protected]>
Co-authored-by: David Mládek <[email protected]>
Co-authored-by: SunkenPotato <[email protected]>
Co-authored-by: Cameron Steffen <[email protected]>
Co-authored-by: Martin Ombura Jr <[email protected]>
Co-authored-by: Madhav Madhusoodanan <[email protected]>
Co-authored-by: sayantn <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: WANG Rui <[email protected]>
Co-authored-by: Luigi Sartor Piucco <[email protected]>
Co-authored-by: Julien THILLARD <[email protected]>
Co-authored-by: The rustc-josh-sync Cronjob Bot <[email protected]>
Co-authored-by: usamoi <[email protected]>
Co-authored-by: Rémy Rakic <[email protected]>
Co-authored-by: Nurzhan Sakén <[email protected]>
Co-authored-by: ltdk <[email protected]>
Co-authored-by: bjorn3 <[email protected]>
Co-authored-by: Guillaume Gomez <[email protected]>
Co-authored-by: Evgenii Zheltonozhskii <[email protected]>
Co-authored-by: roblabla <[email protected]>
Co-authored-by: 许杰友 Jieyou Xu (Joe) <[email protected]>
Co-authored-by: Ayush Singh <[email protected]>
Co-authored-by: Kornel <[email protected]>
Co-authored-by: Jonas Platte <[email protected]>
Co-authored-by: Alex Crichton <[email protected]>
Co-authored-by: Zachary S <[email protected]>
Co-authored-by: Jeremy Smart <[email protected]>
Co-authored-by: Ivan Tadeu Ferreira Antunes Filho <[email protected]>
Co-authored-by: Alisa Sireneva <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: Jacob Pratt <[email protected]>
Co-authored-by: Scott McMurray <[email protected]>
Co-authored-by: xonx <[email protected]>
Co-authored-by: Yosh <[email protected]>
Co-authored-by: joboet <[email protected]>
Co-authored-by: Stuart Cook <[email protected]>
Co-authored-by: Connor Tsui <[email protected]>
Co-authored-by: Aandreba <[email protected]>
Co-authored-by: Lucas Werkmeister <[email protected]>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Michael Tautschnig <[email protected]>

Author: 63 people

library/Cargo.lock

@@ -22,9 +22,7 @@ safety = { path = "../contracts/safety" }
 [features]
 compiler-builtins-mem = ['compiler_builtins/mem']
 compiler-builtins-c = ["compiler_builtins/c"]
-compiler-builtins-no-asm = ["compiler_builtins/no-asm"]
 compiler-builtins-no-f16-f128 = ["compiler_builtins/no-f16-f128"]
-compiler-builtins-mangled-names = ["compiler_builtins/mangled-names"]
 # Make panics and failed asserts immediately abort without formatting any message
 panic_immediate_abort = ["core/panic_immediate_abort"]
 # Choose algorithms that are optimized for binary size instead of runtime performance

library/alloc/Cargo.toml

@@ -192,7 +192,7 @@ impl<T, A: Allocator> Drop for Drain<'_, T, A> {
                     // this branch is never taken.
                     // We use `#[cold]` instead of `#[inline(never)]`, because inlining this
                     // function into the general case (`.drain(n..m)`) is fine.
-                    // See `tests/codegen/vecdeque-drain.rs` for a test.
+                    // See `tests/codegen-llvm/vecdeque-drain.rs` for a test.
                     #[cold]
                     fn join_head_and_tail_wrapping<T, A: Allocator>(
                         source_deque: &mut VecDeque<T, A>,

library/alloc/src/collections/vec_deque/drain.rs

@@ -95,7 +95,6 @@
 #![cfg_attr(kani, feature(kani))]
 #![feature(alloc_layout_extra)]
 #![feature(allocator_api)]
-#![feature(array_chunks)]
 #![feature(array_into_iter_constructors)]
 #![feature(array_windows)]
 #![feature(ascii_char)]

library/alloc/src/lib.rs

@@ -761,7 +761,7 @@ impl<A: Allocator> RawVecInner<A> {
 }
 
 // not marked inline(never) since we want optimizers to be able to observe the specifics of this
-// function, see tests/codegen/vec-reserve-extend.rs.
+// function, see tests/codegen-llvm/vec-reserve-extend.rs.
 #[cold]
 fn finish_grow<A>(
     new_layout: Layout,

library/alloc/src/raw_vec/mod.rs

@@ -16,10 +16,6 @@ use core::cmp::Ordering::{self, Less};
 use core::mem::MaybeUninit;
 #[cfg(not(no_global_oom_handling))]
 use core::ptr;
-#[unstable(feature = "array_chunks", issue = "74985")]
-pub use core::slice::ArrayChunks;
-#[unstable(feature = "array_chunks", issue = "74985")]
-pub use core::slice::ArrayChunksMut;
 #[unstable(feature = "array_windows", issue = "75027")]
 pub use core::slice::ArrayWindows;
 #[stable(feature = "inherent_ascii_escape", since = "1.60.0")]

library/alloc/src/slice.rs

@@ -787,12 +787,12 @@ impl String {
     #[cfg(not(no_global_oom_handling))]
     #[unstable(feature = "str_from_utf16_endian", issue = "116258")]
     pub fn from_utf16le(v: &[u8]) -> Result<String, FromUtf16Error> {
-        if v.len() % 2 != 0 {
+        let (chunks, []) = v.as_chunks::<2>() else {
             return Err(FromUtf16Error(()));
-        }
+        };
         match (cfg!(target_endian = "little"), unsafe { v.align_to::<u16>() }) {
             (true, ([], v, [])) => Self::from_utf16(v),
-            _ => char::decode_utf16(v.array_chunks::<2>().copied().map(u16::from_le_bytes))
+            _ => char::decode_utf16(chunks.iter().copied().map(u16::from_le_bytes))
                 .collect::<Result<_, _>>()
                 .map_err(|_| FromUtf16Error(())),
         }
@@ -830,11 +830,11 @@ impl String {
             (true, ([], v, [])) => Self::from_utf16_lossy(v),
             (true, ([], v, [_remainder])) => Self::from_utf16_lossy(v) + "\u{FFFD}",
             _ => {
-                let mut iter = v.array_chunks::<2>();
-                let string = char::decode_utf16(iter.by_ref().copied().map(u16::from_le_bytes))
+                let (chunks, remainder) = v.as_chunks::<2>();
+                let string = char::decode_utf16(chunks.iter().copied().map(u16::from_le_bytes))
                     .map(|r| r.unwrap_or(char::REPLACEMENT_CHARACTER))
                     .collect();
-                if iter.remainder().is_empty() { string } else { string + "\u{FFFD}" }
+                if remainder.is_empty() { string } else { string + "\u{FFFD}" }
             }
         }
     }
@@ -862,12 +862,12 @@ impl String {
     #[cfg(not(no_global_oom_handling))]
     #[unstable(feature = "str_from_utf16_endian", issue = "116258")]
     pub fn from_utf16be(v: &[u8]) -> Result<String, FromUtf16Error> {
-        if v.len() % 2 != 0 {
+        let (chunks, []) = v.as_chunks::<2>() else {
             return Err(FromUtf16Error(()));
-        }
+        };
         match (cfg!(target_endian = "big"), unsafe { v.align_to::<u16>() }) {
             (true, ([], v, [])) => Self::from_utf16(v),
-            _ => char::decode_utf16(v.array_chunks::<2>().copied().map(u16::from_be_bytes))
+            _ => char::decode_utf16(chunks.iter().copied().map(u16::from_be_bytes))
                 .collect::<Result<_, _>>()
                 .map_err(|_| FromUtf16Error(())),
         }
@@ -905,11 +905,11 @@ impl String {
             (true, ([], v, [])) => Self::from_utf16_lossy(v),
             (true, ([], v, [_remainder])) => Self::from_utf16_lossy(v) + "\u{FFFD}",
             _ => {
-                let mut iter = v.array_chunks::<2>();
-                let string = char::decode_utf16(iter.by_ref().copied().map(u16::from_be_bytes))
+                let (chunks, remainder) = v.as_chunks::<2>();
+                let string = char::decode_utf16(chunks.iter().copied().map(u16::from_be_bytes))
                     .map(|r| r.unwrap_or(char::REPLACEMENT_CHARACTER))
                     .collect();
-                if iter.remainder().is_empty() { string } else { string + "\u{FFFD}" }
+                if remainder.is_empty() { string } else { string + "\u{FFFD}" }
             }
         }
     }

library/alloc/src/string.rs

@@ -0,0 +1,23 @@
+# Perform a subtree sync (pull) using the josh-sync tool once every few days (or on demand).
+name: rustc-pull
+
+on:
+  workflow_dispatch:
+  schedule:
+    # Run at 04:00 UTC every Monday and Thursday
+    - cron: '0 4 * * 1,4'
+
+jobs:
+  pull:
+    if: github.repository == 'rust-lang/compiler-builtins'
+    uses: rust-lang/josh-sync/.github/workflows/rustc-pull.yml@main
+    with:
+      # https://rust-lang.zulipchat.com/#narrow/channel/219381-t-libs/topic/compiler-builtins.20subtree.20sync.20automation/with/528482375
+      zulip-stream-id: 219381
+      zulip-topic: 'compiler-builtins subtree sync automation'
+      zulip-bot-email:  "[email protected]"
+      pr-base-branch: master
+      branch-name: rustc-pull
+    secrets:
+      zulip-api-token: ${{ secrets.ZULIP_API_TOKEN }}
+      token: ${{ secrets.GITHUB_TOKEN }}

library/compiler-builtins/.github/workflows/rustc-pull.yml

@@ -165,3 +165,12 @@ cargo bench --no-default-features \
 
 [`iai-callgrind-runner`]: https://crates.io/crates/iai-callgrind-runner
 [Valgrind]: https://valgrind.org/
+
+## Subtree synchronization
+
+`compiler-builtins` is included as a [Josh subtree] in the main compiler
+repository (`rust-lang/rust`). You can find a guide on how to create synchronization
+(pull and push) PRs at the [`rustc-dev-guide` page].
+
+[Josh subtree]: https://rustc-dev-guide.rust-lang.org/external-repos.html#josh-subtrees
+[`rustc-dev-guide` page]: https://rustc-dev-guide.rust-lang.org/external-repos.html#synchronizing-a-josh-subtree

library/compiler-builtins/CONTRIBUTING.md

@@ -3,7 +3,6 @@ resolver = "2"
 members = [
     "builtins-shim",
     "builtins-test",
-    "crates/josh-sync",
     "crates/libm-macros",
     "crates/musl-math-sys",
     "crates/panic-handler",