Commit 111339d
Merge subtree update for toolchain nightly-2025-05-28 (model-checking#370)
This is an automated PR to merge library subtree updates from 2025-05-22
(rust-lang/rust@bf64d66) to 2025-05-28
(rust-lang/rust@45f256d) (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: 725b0db
---------
Signed-off-by: Sean Cross <[email protected]>
Signed-off-by: Vladimir Krivopalov <[email protected]>
Signed-off-by: xizheyin <[email protected]>
Signed-off-by: Paul Mabileau <[email protected]>
Signed-off-by: Ayush Singh <[email protected]>
Co-authored-by: Chris Denton <[email protected]>
Co-authored-by: bors <[email protected]>
Co-authored-by: joboet <[email protected]>
Co-authored-by: Andrew Zhogin <[email protected]>
Co-authored-by: DaniPopes <[email protected]>
Co-authored-by: Lieselotte <[email protected]>
Co-authored-by: Sean Cross <[email protected]>
Co-authored-by: The Miri Cronjob Bot <[email protected]>
Co-authored-by: Ralf Jung <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: Jon Bauman <[email protected]>
Co-authored-by: binarycat <[email protected]>
Co-authored-by: Matthias Krüger <[email protected]>
Co-authored-by: Mara Bos <[email protected]>
Co-authored-by: Mathis B <[email protected]>
Co-authored-by: Natrix <[email protected]>
Co-authored-by: Zachary S <[email protected]>
Co-authored-by: Thalia Archibald <[email protected]>
Co-authored-by: Amanieu d'Antras <[email protected]>
Co-authored-by: sayantn <[email protected]>
Co-authored-by: Artur Roos <[email protected]>
Co-authored-by: Eyal Kalderon <[email protected]>
Co-authored-by: Guillaume Gomez <[email protected]>
Co-authored-by: Lynnesbian <[email protected]>
Co-authored-by: Christopher Berner <[email protected]>
Co-authored-by: Stuart Cook <[email protected]>
Co-authored-by: Paolo Barbolini <[email protected]>
Co-authored-by: github-actions <[email protected]>
Co-authored-by: The 8472 <[email protected]>
Co-authored-by: Nick Kocharhook <[email protected]>
Co-authored-by: Trevor Gross <[email protected]>
Co-authored-by: Vladimir Krivopalov <[email protected]>
Co-authored-by: Vilim Lendvaj <[email protected]>
Co-authored-by: David Tolnay <[email protected]>
Co-authored-by: Marijn Schouten <[email protected]>
Co-authored-by: Jacob Pratt <[email protected]>
Co-authored-by: 王宇逸 <[email protected]>
Co-authored-by: ivmarkov <[email protected]>
Co-authored-by: Martin Kröning <[email protected]>
Co-authored-by: Daniel Paoliello <[email protected]>
Co-authored-by: Luca Versari <[email protected]>
Co-authored-by: xizheyin <[email protected]>
Co-authored-by: Ben Kimock <[email protected]>
Co-authored-by: Urgau <[email protected]>
Co-authored-by: Dietrich Daroch <[email protected]>
Co-authored-by: León Orell Valerian Liehr <[email protected]>
Co-authored-by: Pietro Albini <[email protected]>
Co-authored-by: Julian Knodt <[email protected]>
Co-authored-by: Michael Goulet <[email protected]>
Co-authored-by: Michał Łowicki <[email protected]>
Co-authored-by: Samuel Tardieu <[email protected]>
Co-authored-by: B I Mohammed Abbas <[email protected]>
Co-authored-by: Federico Terzi <[email protected]>
Co-authored-by: Eric Huss <[email protected]>
Co-authored-by: sam skeoch <[email protected]>
Co-authored-by: Benoît du Garreau <[email protected]>
Co-authored-by: est31 <[email protected]>
Co-authored-by: GrantBirki <[email protected]>
Co-authored-by: Paul Mabileau <[email protected]>
Co-authored-by: Jack O'Connor <[email protected]>
Co-authored-by: mejrs <[email protected]>
Co-authored-by: Fluid <[email protected]>
Co-authored-by: Speedy_Lex <[email protected]>
Co-authored-by: Mario Pastorelli <[email protected]>
Co-authored-by: Daniel McNab <[email protected]>
Co-authored-by: Josh Triplett <[email protected]>
Co-authored-by: Folkert de Vries <[email protected]>
Co-authored-by: waffle <[email protected]>
Co-authored-by: Dannyyy93 <[email protected]>
Co-authored-by: Ayush Singh <[email protected]>
Co-authored-by: Tamir Duberstein <[email protected]>
Co-authored-by: gitbot <git@bot>
Co-authored-by: Michael Tautschnig <[email protected]>1 parent dacc2d5 commit 111339d
File tree
64 files changed
+879
-621
lines changed- library
- alloc/src
- collections
- btree
- vec_deque
- vec
- coretests/tests
- core/src
- array
- convert
- ffi
- fmt
- iter/traits
- macros
- num
- ops
- ptr
- slice
- sort
- stable
- unstable
- sync
- std
- src
- collections/hash
- ffi
- io
- os/net/linux_ext
- sync/mpmc
- sys
- net/connection/uefi
- pal
- uefi
- windows
- process/unix
- common
- thread_local/guard
- tests
- tool_config
- verifast-proofs/alloc/collections
- linked_list.rs-negative
- original
- verified
- linked_list.rs
- original
- verified
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
64 files changed
+879
-621
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1398 | 1398 | | |
1399 | 1399 | | |
1400 | 1400 | | |
1401 | | - | |
1402 | | - | |
1403 | | - | |
1404 | | - | |
| 1401 | + | |
| 1402 | + | |
| 1403 | + | |
| 1404 | + | |
| 1405 | + | |
| 1406 | + | |
1405 | 1407 | | |
1406 | 1408 | | |
1407 | 1409 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1124 | 1124 | | |
1125 | 1125 | | |
1126 | 1126 | | |
1127 | | - | |
1128 | | - | |
1129 | | - | |
| 1127 | + | |
| 1128 | + | |
| 1129 | + | |
1130 | 1130 | | |
1131 | 1131 | | |
1132 | 1132 | | |
1133 | 1133 | | |
1134 | 1134 | | |
1135 | | - | |
1136 | | - | |
| 1135 | + | |
| 1136 | + | |
1137 | 1137 | | |
1138 | 1138 | | |
1139 | 1139 | | |
1140 | | - | |
| 1140 | + | |
1141 | 1141 | | |
1142 | 1142 | | |
1143 | 1143 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1315 | 1315 | | |
1316 | 1316 | | |
1317 | 1317 | | |
| 1318 | + | |
| 1319 | + | |
1318 | 1320 | | |
1319 | 1321 | | |
1320 | 1322 | | |
| |||
1329 | 1331 | | |
1330 | 1332 | | |
1331 | 1333 | | |
1332 | | - | |
| 1334 | + | |
| 1335 | + | |
| 1336 | + | |
| 1337 | + | |
1333 | 1338 | | |
1334 | 1339 | | |
1335 | 1340 | | |
1336 | 1341 | | |
1337 | | - | |
| 1342 | + | |
| 1343 | + | |
| 1344 | + | |
| 1345 | + | |
1338 | 1346 | | |
1339 | 1347 | | |
1340 | 1348 | | |
| |||
1350 | 1358 | | |
1351 | 1359 | | |
1352 | 1360 | | |
| 1361 | + | |
| 1362 | + | |
1353 | 1363 | | |
1354 | 1364 | | |
1355 | 1365 | | |
| |||
1366 | 1376 | | |
1367 | 1377 | | |
1368 | 1378 | | |
1369 | | - | |
1370 | | - | |
1371 | | - | |
| 1379 | + | |
| 1380 | + | |
| 1381 | + | |
| 1382 | + | |
| 1383 | + | |
| 1384 | + | |
| 1385 | + | |
| 1386 | + | |
| 1387 | + | |
| 1388 | + | |
| 1389 | + | |
| 1390 | + | |
| 1391 | + | |
| 1392 | + | |
| 1393 | + | |
| 1394 | + | |
1372 | 1395 | | |
1373 | 1396 | | |
1374 | 1397 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
69 | 69 | | |
70 | 70 | | |
71 | 71 | | |
72 | | - | |
| 72 | + | |
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
| |||
137 | 137 | | |
138 | 138 | | |
139 | 139 | | |
140 | | - | |
| 140 | + | |
| 141 | + | |
141 | 142 | | |
142 | 143 | | |
143 | 144 | | |
| |||
197 | 198 | | |
198 | 199 | | |
199 | 200 | | |
200 | | - | |
| 201 | + | |
| 202 | + | |
201 | 203 | | |
202 | 204 | | |
203 | 205 | | |
| |||
252 | 254 | | |
253 | 255 | | |
254 | 256 | | |
255 | | - | |
| 257 | + | |
| 258 | + | |
256 | 259 | | |
257 | 260 | | |
258 | 261 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
320 | 320 | | |
321 | 321 | | |
322 | 322 | | |
| 323 | + | |
323 | 324 | | |
324 | 325 | | |
325 | 326 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3648 | 3648 | | |
3649 | 3649 | | |
3650 | 3650 | | |
3651 | | - | |
| 3651 | + | |
3652 | 3652 | | |
3653 | | - | |
3654 | | - | |
3655 | | - | |
| 3653 | + | |
| 3654 | + | |
| 3655 | + | |
3656 | 3656 | | |
3657 | 3657 | | |
3658 | 3658 | | |
| |||
3692 | 3692 | | |
3693 | 3693 | | |
3694 | 3694 | | |
3695 | | - | |
3696 | | - | |
| 3695 | + | |
| 3696 | + | |
3697 | 3697 | | |
3698 | 3698 | | |
3699 | 3699 | | |
3700 | 3700 | | |
3701 | 3701 | | |
3702 | 3702 | | |
3703 | 3703 | | |
3704 | | - | |
| 3704 | + | |
3705 | 3705 | | |
3706 | 3706 | | |
3707 | 3707 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
588 | 588 | | |
589 | 589 | | |
590 | 590 | | |
591 | | - | |
| 591 | + | |
592 | 592 | | |
593 | 593 | | |
594 | 594 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
575 | 575 | | |
576 | 576 | | |
577 | 577 | | |
578 | | - | |
| 578 | + | |
579 | 579 | | |
580 | 580 | | |
581 | 581 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
559 | 559 | | |
560 | 560 | | |
561 | 561 | | |
562 | | - | |
563 | | - | |
564 | | - | |
565 | | - | |
566 | | - | |
567 | | - | |
568 | | - | |
| 562 | + | |
| 563 | + | |
569 | 564 | | |
570 | 565 | | |
571 | 566 | | |
| |||
581 | 576 | | |
582 | 577 | | |
583 | 578 | | |
584 | | - | |
585 | | - | |
586 | | - | |
587 | | - | |
588 | | - | |
589 | | - | |
590 | | - | |
591 | | - | |
592 | | - | |
593 | | - | |
| 579 | + | |
594 | 580 | | |
595 | | - | |
596 | | - | |
597 | 581 | | |
598 | 582 | | |
599 | 583 | | |
| |||
617 | 601 | | |
618 | 602 | | |
619 | 603 | | |
620 | | - | |
621 | | - | |
622 | | - | |
623 | | - | |
| 604 | + | |
624 | 605 | | |
625 | 606 | | |
626 | 607 | | |
| |||
646 | 627 | | |
647 | 628 | | |
648 | 629 | | |
649 | | - | |
650 | | - | |
651 | | - | |
652 | | - | |
| 630 | + | |
653 | 631 | | |
654 | 632 | | |
655 | 633 | | |
| |||
671 | 649 | | |
672 | 650 | | |
673 | 651 | | |
674 | | - | |
675 | 652 | | |
676 | | - | |
677 | | - | |
| 653 | + | |
678 | 654 | | |
679 | 655 | | |
680 | 656 | | |
| |||
693 | 669 | | |
694 | 670 | | |
695 | 671 | | |
696 | | - | |
697 | | - | |
698 | | - | |
699 | | - | |
| 672 | + | |
700 | 673 | | |
701 | 674 | | |
702 | 675 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
28 | 28 | | |
29 | 29 | | |
30 | 30 | | |
31 | | - | |
| 31 | + | |
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
| |||
0 commit comments