Commit b327f32
Merge subtree update for toolchain nightly-2025-04-01 (model-checking#312)
This is an automated PR to merge library subtree updates from 2025-03-18
(rust-lang/rust@43a2e9d) to 2025-04-01
(rust-lang/rust@0b45675) (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: c60865a
---------
Signed-off-by: xizheyin <[email protected]>
Signed-off-by: Sean Cross <[email protected]>
Signed-off-by: Jiahao XU <[email protected]>
Signed-off-by: Ayush Singh <[email protected]>
Co-authored-by: Nicole LeGare <[email protected]>
Co-authored-by: Nicole LeGare <[email protected]>
Co-authored-by: Nicole L <[email protected]>
Co-authored-by: Kevin Reid <[email protected]>
Co-authored-by: Scott McMurray <[email protected]>
Co-authored-by: Arjun Ramesh <[email protected]>
Co-authored-by: bors <[email protected]>
Co-authored-by: xizheyin <[email protected]>
Co-authored-by: Pavel Grigorenko <[email protected]>
Co-authored-by: Oli Scherer <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: Jakub Beránek <[email protected]>
Co-authored-by: Ralf Jung <[email protected]>
Co-authored-by: Sean Cross <[email protected]>
Co-authored-by: Aurelia Molzer <[email protected]>
Co-authored-by: Eric Huss <[email protected]>
Co-authored-by: bjorn3 <[email protected]>
Co-authored-by: Matthias Krüger <[email protected]>
Co-authored-by: beetrees <[email protected]>
Co-authored-by: Josh Stone <[email protected]>
Co-authored-by: Thalia Archibald <[email protected]>
Co-authored-by: Berrysoft <[email protected]>
Co-authored-by: Mara Bos <[email protected]>
Co-authored-by: Manish Goregaokar <[email protected]>
Co-authored-by: ClearLove <[email protected]>
Co-authored-by: Thom Chiovoloni <[email protected]>
Co-authored-by: Jiahao XU <[email protected]>
Co-authored-by: Michael Goulet <[email protected]>
Co-authored-by: The Miri Cronjob Bot <[email protected]>
Co-authored-by: Jacob Pratt <[email protected]>
Co-authored-by: Tobias Bucher <[email protected]>
Co-authored-by: León Orell Valerian Liehr <[email protected]>
Co-authored-by: Yotam Ofek <[email protected]>
Co-authored-by: okaneco <[email protected]>
Co-authored-by: 许杰友 Jieyou Xu (Joe) <[email protected]>
Co-authored-by: Guillaume Gomez <[email protected]>
Co-authored-by: Ayush Singh <[email protected]>
Co-authored-by: Noratrieb <[email protected]>
Co-authored-by: Marijn Schouten <[email protected]>
Co-authored-by: Ibraheem Ahmed <[email protected]>
Co-authored-by: Chris Denton <[email protected]>
Co-authored-by: Taiki Endo <[email protected]>
Co-authored-by: bendn <[email protected]>
Co-authored-by: Caleb Zulawski <[email protected]>
Co-authored-by: Jana Dönszelmann <[email protected]>
Co-authored-by: syvb <[email protected]>
Co-authored-by: Sebastian Urban <[email protected]>
Co-authored-by: Bardi Harborow <[email protected]>
Co-authored-by: moxian <[email protected]>
Co-authored-by: Frank King <[email protected]>
Co-authored-by: joboet <[email protected]>
Co-authored-by: Takayuki Maeda <[email protected]>
Co-authored-by: DaniPopes <[email protected]>
Co-authored-by: Mads Marquart <[email protected]>
Co-authored-by: Christopher Durham <[email protected]>
Co-authored-by: Rafael Bachmann <[email protected]>
Co-authored-by: Benoît du Garreau <[email protected]>
Co-authored-by: Daniel Henry-Mantilla <[email protected]>
Co-authored-by: mejrs <[email protected]>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Michael Tautschnig <[email protected]>1 parent 9da1baa commit b327f32
File tree
156 files changed
+2930
-2253
lines changed- library
- alloctests/tests
- alloc
- src
- vec
- coretests
- tests
- fmt
- net
- core/src
- ffi
- fmt
- intrinsics
- iter
- adapters
- sources
- traits
- macros
- mem
- net
- num
- ptr
- slice
- sort
- stable
- unstable
- sync
- literal-escaper
- src
- panic_unwind/src
- portable-simd
- crates
- core_simd
- src
- masks
- simd
- cmp
- num
- ptr
- tests
- test_helpers/src
- proc_macro
- src
- bridge
- std
- src
- fs
- io
- util
- net/tcp
- os/fd
- sync
- sys
- fs
- net/connection/xous
- pal
- hermit
- sgx
- solid
- teeos
- trusty
- uefi
- unix
- process
- unsupported
- wasip2
- wasi
- wasm
- atomics
- windows
- xous
- zkvm
- process
- unix
- common
- unix
- unsupported
- wait_status
- windows
- random
- stdio
- thread
- tests/sync
- tool_config
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
156 files changed
+2930
-2253
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
12 | 11 | | |
13 | 12 | | |
14 | 13 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
| 19 | + | |
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | | - | |
18 | | - | |
19 | 17 | | |
20 | 18 | | |
| 19 | + | |
21 | 20 | | |
22 | 21 | | |
23 | 22 | | |
| 23 | + | |
24 | 24 | | |
25 | 25 | | |
26 | 26 | | |
| 27 | + | |
27 | 28 | | |
28 | 29 | | |
29 | 30 | | |
| 31 | + | |
30 | 32 | | |
31 | 33 | | |
| 34 | + | |
32 | 35 | | |
33 | 36 | | |
34 | 37 | | |
| |||
357 | 360 | | |
358 | 361 | | |
359 | 362 | | |
| 363 | + | |
360 | 364 | | |
361 | 365 | | |
362 | 366 | | |
| |||
423 | 427 | | |
424 | 428 | | |
425 | 429 | | |
| 430 | + | |
426 | 431 | | |
427 | 432 | | |
428 | 433 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1149 | 1149 | | |
1150 | 1150 | | |
1151 | 1151 | | |
1152 | | - | |
1153 | 1152 | | |
1154 | | - | |
| 1153 | + | |
1155 | 1154 | | |
1156 | 1155 | | |
1157 | 1156 | | |
| |||
1203 | 1202 | | |
1204 | 1203 | | |
1205 | 1204 | | |
1206 | | - | |
1207 | 1205 | | |
1208 | | - | |
| 1206 | + | |
1209 | 1207 | | |
1210 | 1208 | | |
1211 | 1209 | | |
| |||
1550 | 1548 | | |
1551 | 1549 | | |
1552 | 1550 | | |
1553 | | - | |
1554 | 1551 | | |
1555 | | - | |
| 1552 | + | |
1556 | 1553 | | |
1557 | 1554 | | |
1558 | 1555 | | |
| |||
1639 | 1636 | | |
1640 | 1637 | | |
1641 | 1638 | | |
1642 | | - | |
1643 | | - | |
| 1639 | + | |
1644 | 1640 | | |
1645 | 1641 | | |
1646 | 1642 | | |
| |||
0 commit comments