This repository was archived by the owner on May 28, 2025. It is now read-only.
Commit 946a88a
committed
Auto merge of rust-lang#97546 - RalfJung:miri, r=oli-obk
update Miri
First update with the new ui test suite, let's hope this all works. :)
r? `@oli-obk`
Fixes rust-lang#974863 files changed
+53
-10
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
220 | 220 | | |
221 | 221 | | |
222 | 222 | | |
223 | | - | |
| 223 | + | |
224 | 224 | | |
225 | 225 | | |
226 | 226 | | |
| |||
883 | 883 | | |
884 | 884 | | |
885 | 885 | | |
| 886 | + | |
| 887 | + | |
| 888 | + | |
| 889 | + | |
| 890 | + | |
| 891 | + | |
| 892 | + | |
| 893 | + | |
| 894 | + | |
| 895 | + | |
| 896 | + | |
| 897 | + | |
| 898 | + | |
| 899 | + | |
886 | 900 | | |
887 | 901 | | |
888 | 902 | | |
| |||
917 | 931 | | |
918 | 932 | | |
919 | 933 | | |
| 934 | + | |
| 935 | + | |
| 936 | + | |
| 937 | + | |
| 938 | + | |
| 939 | + | |
| 940 | + | |
| 941 | + | |
| 942 | + | |
| 943 | + | |
920 | 944 | | |
921 | 945 | | |
922 | 946 | | |
| |||
2415 | 2439 | | |
2416 | 2440 | | |
2417 | 2441 | | |
2418 | | - | |
2419 | 2442 | | |
2420 | 2443 | | |
| 2444 | + | |
2421 | 2445 | | |
2422 | 2446 | | |
2423 | 2447 | | |
2424 | 2448 | | |
| 2449 | + | |
2425 | 2450 | | |
2426 | | - | |
2427 | 2451 | | |
2428 | 2452 | | |
| 2453 | + | |
2429 | 2454 | | |
2430 | 2455 | | |
2431 | 2456 | | |
| |||
2866 | 2891 | | |
2867 | 2892 | | |
2868 | 2893 | | |
| 2894 | + | |
| 2895 | + | |
| 2896 | + | |
| 2897 | + | |
| 2898 | + | |
| 2899 | + | |
| 2900 | + | |
| 2901 | + | |
| 2902 | + | |
| 2903 | + | |
| 2904 | + | |
| 2905 | + | |
2869 | 2906 | | |
2870 | 2907 | | |
2871 | 2908 | | |
| |||
5462 | 5499 | | |
5463 | 5500 | | |
5464 | 5501 | | |
| 5502 | + | |
| 5503 | + | |
| 5504 | + | |
| 5505 | + | |
| 5506 | + | |
| 5507 | + | |
| 5508 | + | |
| 5509 | + | |
| 5510 | + | |
| 5511 | + | |
| 5512 | + | |
| 5513 | + | |
5465 | 5514 | | |
5466 | 5515 | | |
5467 | 5516 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
572 | 572 | | |
573 | 573 | | |
574 | 574 | | |
575 | | - | |
576 | | - | |
577 | | - | |
578 | | - | |
579 | | - | |
580 | | - | |
581 | 575 | | |
582 | 576 | | |
583 | 577 | | |
| |||
0 commit comments