Merge subtree update for toolchain nightly-2025-06-17 (model-checking#392)

This is an automated PR to merge library subtree updates from 2025-06-03
(rust-lang/rust@5d707b0) to 2025-06-17
(rust-lang/rust@45acf54) (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: 3b96c9b

---------

Signed-off-by: xizheyin <xizheyin@smail.nju.edu.cn>
Signed-off-by: onur-ozkan <work@onurozkan.dev>
Co-authored-by: Trevor Gross <tmgross@umich.edu>
Co-authored-by: bors <bors@rust-lang.org>
Co-authored-by: Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com>
Co-authored-by: Orson Peters <orsonpeters@gmail.com>
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: Scott McMurray <scottmcm@users.noreply.github.com>
Co-authored-by: Jubilee <workingjubilee@gmail.com>
Co-authored-by: xizheyin <xizheyin@smail.nju.edu.cn>
Co-authored-by: The Miri Cronjob Bot <miri@cron.bot>
Co-authored-by: Ruan Comelli <ruancomelli@gmail.com>
Co-authored-by: Ralf Jung <post@ralfj.de>
Co-authored-by: Jacob Pratt <jacob@jhpratt.dev>
Co-authored-by: zacryol <60046681+zacryol@users.noreply.github.com>
Co-authored-by: Guillaume Gomez <guillaume1.gomez@gmail.com>
Co-authored-by: neeko-cat <60898184+neeko-cat@users.noreply.github.com>
Co-authored-by: usamoi <usamoi@outlook.com>
Co-authored-by: Jakub Beránek <berykubik@gmail.com>
Co-authored-by: Eric Huss <eric@huss.org>
Co-authored-by: Sidney Cammeresi <sac@readyset.io>
Co-authored-by: Josh Stone <cuviper@gmail.com>
Co-authored-by: Jeremy Smart <jeremy3141592@gmail.com>
Co-authored-by: zachs18 <8355914+zachs18@users.noreply.github.com>
Co-authored-by: onur-ozkan <work@onurozkan.dev>
Co-authored-by: sayantn <sayantn05@gmail.com>
Co-authored-by: LorrensP-2158466 <lorrens.pantelis@student.uhasselt.be>
Co-authored-by: Oli Scherer <github333195615777966@oli-obk.de>
Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>
Co-authored-by: Jieyou Xu <jieyouxu@outlook.com>
Co-authored-by: Travis Cross <tc@traviscross.com>
Co-authored-by: Josh Triplett <josh@joshtriplett.org>
Co-authored-by: Taylor Cramer <cramertj@google.com>
Co-authored-by: Paolo Barbolini <paolo.barbolini@m4ss.net>
Co-authored-by: Tobias Bucher <tobiasbucher5991@gmail.com>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: WANG Rui <wangrui@loongson.cn>
Co-authored-by: Tshepang Mbambo <tshepang@gmail.com>
Co-authored-by: schvv31n <tim.kurdov@gmail.com>
Co-authored-by: Marijn Schouten <mhkbst@gmail.com>
Co-authored-by: Urgau <urgau@numericable.fr>
Co-authored-by: Trevor Gross <t.gross35@gmail.com>
Co-authored-by: binarycat <binarycat@envs.net>
Co-authored-by: Alona Enraght-Moony <code@alona.page>
Co-authored-by: Ed Page <eopage@gmail.com>
Co-authored-by: kiseitai3 <kiseitai3@gmail.com>
Co-authored-by: Folkert de Vries <folkert@folkertdev.nl>
Co-authored-by: León Orell Valerian Liehr <me@fmease.dev>
Co-authored-by: Gray Olson <gray@grayolson.com>
Co-authored-by: Pascal S. de Kloe <pascal@quies.net>
Co-authored-by: Shun Sakai <sorairolake@protonmail.ch>
Co-authored-by: Mara Bos <m-ou.se@m-ou.se>
Co-authored-by: github-actions <github-actions@github.com>
Co-authored-by: Tamir Duberstein <tamird@gmail.com>
Co-authored-by: mejrs <59372212+mejrs@users.noreply.github.com>
Co-authored-by: qinghon <wushengshijie@outlook.com>
Co-authored-by: Chris Denton <chris@chrisdenton.dev>
Co-authored-by: Sasha Pourcelot <sasha.pourcelot@protonmail.com>
Co-authored-by: David Tolnay <dtolnay@gmail.com>
Co-authored-by: bjorn3 <17426603+bjorn3@users.noreply.github.com>
Co-authored-by: Christopher Berner <me@cberner.com>
Co-authored-by: Yotam Ofek <yotam.ofek@gmail.com>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Carolyn Zech <cmzech@amazon.com>
Co-authored-by: Michael Tautschnig <tautschn@amazon.com>

Author: 61 people

.github/workflows/kani.yml

@@ -282,6 +282,13 @@ jobs:
     name: Kani List
     runs-on: ubuntu-latest
     steps:
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          sudo rm -rf /usr/share/dotnet /usr/local/lib/android /usr/local/.ghcup
+          df -h
+
       # Step 1: Check out the repository
       - name: Checkout Repository
         uses: actions/checkout@v4

library/Cargo.lock

@@ -50,3 +50,4 @@ rustc-demangle.opt-level = "s"
 rustc-std-workspace-core = { path = 'rustc-std-workspace-core' }
 rustc-std-workspace-alloc = { path = 'rustc-std-workspace-alloc' }
 rustc-std-workspace-std = { path = 'rustc-std-workspace-std' }
+compiler_builtins = { path = "compiler-builtins/compiler-builtins" }

library/Cargo.toml

@@ -16,8 +16,8 @@ bench = false
 
 [dependencies]
 core = { path = "../core", public = true }
+compiler_builtins = { path = "../compiler-builtins/compiler-builtins", features = ["rustc-dep-of-std"] }
 safety = { path = "../contracts/safety" }
-compiler_builtins = { version = "=0.1.160", features = ['rustc-dep-of-std'] }
 
 [features]
 compiler-builtins-mem = ['compiler_builtins/mem']
@@ -33,7 +33,6 @@ optimize_for_size = ["core/optimize_for_size"]
 [lints.rust.unexpected_cfgs]
 level = "warn"
 check-cfg = [
-    'cfg(bootstrap)',
     'cfg(no_global_oom_handling)',
     'cfg(no_rc)',
     'cfg(no_sync)',

library/alloc/Cargo.toml

@@ -1416,18 +1416,18 @@ impl<K, V, A: Allocator + Clone> BTreeMap<K, V, A> {
     ///
     /// # Examples
     ///
-    /// Splitting a map into even and odd keys, reusing the original map:
-    ///
     /// ```
     /// #![feature(btree_extract_if)]
     /// use std::collections::BTreeMap;
     ///
+    /// // Splitting a map into even and odd keys, reusing the original map:
     /// let mut map: BTreeMap<i32, i32> = (0..8).map(|x| (x, x)).collect();
     /// let evens: BTreeMap<_, _> = map.extract_if(.., |k, _v| k % 2 == 0).collect();
     /// let odds = map;
     /// assert_eq!(evens.keys().copied().collect::<Vec<_>>(), [0, 2, 4, 6]);
     /// assert_eq!(odds.keys().copied().collect::<Vec<_>>(), [1, 3, 5, 7]);
     ///
+    /// // Splitting a map into low and high halves, reusing the original map:
     /// let mut map: BTreeMap<i32, i32> = (0..8).map(|x| (x, x)).collect();
     /// let low: BTreeMap<_, _> = map.extract_if(0..4, |_k, _v| true).collect();
     /// let high = map;

library/alloc/src/collections/btree/map.rs

@@ -1201,30 +1201,30 @@ impl<T, A: Allocator + Clone> BTreeSet<T, A> {
     /// [`retain`]: BTreeSet::retain
     /// # Examples
     ///
-    /// Splitting a set into even and odd values, reusing the original set:
-    ///
     /// ```
     /// #![feature(btree_extract_if)]
     /// use std::collections::BTreeSet;
     ///
+    /// // Splitting a set into even and odd values, reusing the original set:
     /// let mut set: BTreeSet<i32> = (0..8).collect();
     /// let evens: BTreeSet<_> = set.extract_if(.., |v| v % 2 == 0).collect();
     /// let odds = set;
     /// assert_eq!(evens.into_iter().collect::<Vec<_>>(), vec![0, 2, 4, 6]);
     /// assert_eq!(odds.into_iter().collect::<Vec<_>>(), vec![1, 3, 5, 7]);
     ///
-    /// let mut map: BTreeSet<i32> = (0..8).collect();
-    /// let low: BTreeSet<_> = map.extract_if(0..4, |_v| true).collect();
-    /// let high = map;
+    /// // Splitting a set into low and high halves, reusing the original set:
+    /// let mut set: BTreeSet<i32> = (0..8).collect();
+    /// let low: BTreeSet<_> = set.extract_if(0..4, |_v| true).collect();
+    /// let high = set;
     /// assert_eq!(low.into_iter().collect::<Vec<_>>(), [0, 1, 2, 3]);
     /// assert_eq!(high.into_iter().collect::<Vec<_>>(), [4, 5, 6, 7]);
     /// ```
     #[unstable(feature = "btree_extract_if", issue = "70530")]
-    pub fn extract_if<'a, F, R>(&'a mut self, range: R, pred: F) -> ExtractIf<'a, T, R, F, A>
+    pub fn extract_if<F, R>(&mut self, range: R, pred: F) -> ExtractIf<'_, T, R, F, A>
     where
         T: Ord,
         R: RangeBounds<T>,
-        F: 'a + FnMut(&T) -> bool,
+        F: FnMut(&T) -> bool,
     {
         let (inner, alloc) = self.map.extract_if_inner(range);
         ExtractIf { pred, inner, alloc }
@@ -1585,11 +1585,11 @@ where
 }
 
 #[unstable(feature = "btree_extract_if", issue = "70530")]
-impl<'a, T, R, F, A: Allocator + Clone> Iterator for ExtractIf<'_, T, R, F, A>
+impl<T, R, F, A: Allocator + Clone> Iterator for ExtractIf<'_, T, R, F, A>
 where
     T: PartialOrd,
     R: RangeBounds<T>,
-    F: 'a + FnMut(&T) -> bool,
+    F: FnMut(&T) -> bool,
 {
     type Item = T;
 

library/alloc/src/collections/btree/set.rs

@@ -714,6 +714,8 @@ impl ops::Deref for CString {
     }
 }
 
+/// Delegates to the [`CStr`] implementation of [`fmt::Debug`],
+/// showing invalid UTF-8 as hex escapes.
 #[stable(feature = "rust1", since = "1.0.0")]
 impl fmt::Debug for CString {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {

library/alloc/src/ffi/c_str.rs

@@ -66,7 +66,6 @@
 )]
 #![doc(cfg_hide(
     not(test),
-    not(any(test, bootstrap)),
     no_global_oom_handling,
     not(no_global_oom_handling),
     not(no_rc),
@@ -133,7 +132,6 @@
 #![feature(local_waker)]
 #![feature(maybe_uninit_slice)]
 #![feature(maybe_uninit_uninit_array_transpose)]
-#![feature(nonnull_provenance)]
 #![feature(panic_internals)]
 #![feature(pattern)]
 #![feature(pin_coerce_unsized_trait)]

library/alloc/src/lib.rs

@@ -493,8 +493,6 @@ impl<T> [T] {
     ///
     /// # Examples
     ///
-    /// Basic usage:
-    ///
     /// ```
     /// assert_eq!([1, 2].repeat(3), vec![1, 2, 1, 2, 1, 2]);
     /// ```

library/alloc/src/slice.rs

@@ -246,8 +246,6 @@ impl str {
     ///
     /// # Examples
     ///
-    /// Basic usage:
-    ///
     /// ```
     /// let s = "this is old";
     ///
@@ -303,8 +301,6 @@ impl str {
     ///
     /// # Examples
     ///
-    /// Basic usage:
-    ///
     /// ```
     /// let s = "foo foo 123 foo";
     /// assert_eq!("new new 123 foo", s.replacen("foo", "new", 2));