This repository was archived by the owner on May 28, 2025. It is now read-only.
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
File tree
21 files changed
+196
-110
lines changed- compiler/rustc_middle/src/ty
- library
- alloc/src/vec
- core/src
- macros
- mem
- prelude
- ptr
- std/src
- prelude
- src
- bootstrap
- librustdoc/html/static
- themes
- test/ui/invalid
21 files changed
+196
-110
lines changedLines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
11 | 12 |
| |
12 | 13 |
| |
13 | 14 |
| |
|
Lines changed: 9 additions & 6 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1091 | 1091 |
| |
1092 | 1092 |
| |
1093 | 1093 |
| |
1094 |
| - | |
1095 |
| - | |
1096 |
| - | |
1097 |
| - | |
1098 |
| - | |
| 1094 | + | |
| 1095 | + | |
| 1096 | + | |
| 1097 | + | |
| 1098 | + | |
| 1099 | + | |
| 1100 | + | |
| 1101 | + | |
| 1102 | + | |
1099 | 1103 |
| |
1100 |
| - | |
1101 | 1104 |
| |
1102 | 1105 |
| |
1103 | 1106 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
126 | 126 |
| |
127 | 127 |
| |
128 | 128 |
| |
129 |
| - | |
| 129 | + | |
130 | 130 |
| |
131 | 131 |
| |
132 | 132 |
| |
| |||
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
218 |
| - | |
| 218 | + | |
219 | 219 |
| |
220 | 220 |
| |
221 | 221 |
| |
| |||
352 | 352 |
| |
353 | 353 |
| |
354 | 354 |
| |
355 |
| - | |
| 355 | + | |
356 | 356 |
| |
357 | 357 |
| |
358 | 358 |
| |
|
Lines changed: 0 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1902 | 1902 |
| |
1903 | 1903 |
| |
1904 | 1904 |
| |
1905 |
| - | |
1906 |
| - | |
1907 |
| - | |
1908 |
| - | |
1909 |
| - | |
1910 |
| - | |
1911 |
| - | |
1912 |
| - | |
1913 |
| - | |
1914 |
| - | |
1915 |
| - | |
1916 |
| - | |
1917 | 1905 |
| |
1918 | 1906 |
| |
1919 | 1907 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
98 | 98 |
| |
99 | 99 |
| |
100 | 100 |
| |
| 101 | + | |
101 | 102 |
| |
102 | 103 |
| |
103 | 104 |
| |
|
Lines changed: 8 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1468 | 1468 |
| |
1469 | 1469 |
| |
1470 | 1470 |
| |
| 1471 | + | |
| 1472 | + | |
| 1473 | + | |
| 1474 | + | |
1471 | 1475 |
| |
1472 | 1476 |
| |
1473 | 1477 |
| |
| |||
1476 | 1480 |
| |
1477 | 1481 |
| |
1478 | 1482 |
| |
| 1483 | + | |
| 1484 | + | |
| 1485 | + | |
| 1486 | + | |
1479 | 1487 |
| |
1480 | 1488 |
| |
1481 | 1489 |
| |
|
Lines changed: 6 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
682 | 682 |
| |
683 | 683 |
| |
684 | 684 |
| |
685 |
| - | |
| 685 | + | |
| 686 | + | |
686 | 687 |
| |
687 | 688 |
| |
688 | 689 |
| |
| |||
812 | 813 |
| |
813 | 814 |
| |
814 | 815 |
| |
815 |
| - | |
| 816 | + | |
| 817 | + | |
816 | 818 |
| |
817 | 819 |
| |
818 | 820 |
| |
| |||
931 | 933 |
| |
932 | 934 |
| |
933 | 935 |
| |
934 |
| - | |
| 936 | + | |
| 937 | + | |
935 | 938 |
| |
936 | 939 |
| |
937 | 940 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
61 | 61 |
| |
62 | 62 |
| |
63 | 63 |
| |
64 |
| - | |
| 64 | + | |
65 | 65 |
| |
66 | 66 |
| |
67 | 67 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
819 | 819 |
| |
820 | 820 |
| |
821 | 821 |
| |
| 822 | + | |
822 | 823 |
| |
823 | 824 |
| |
824 |
| - | |
| 825 | + | |
825 | 826 |
| |
826 | 827 |
| |
827 | 828 |
| |
| |||
837 | 838 |
| |
838 | 839 |
| |
839 | 840 |
| |
| 841 | + | |
840 | 842 |
| |
841 | 843 |
| |
842 |
| - | |
| 844 | + | |
843 | 845 |
| |
844 | 846 |
| |
845 | 847 |
| |
|
Lines changed: 11 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
67 | 67 |
| |
68 | 68 |
| |
69 | 69 |
| |
70 |
| - | |
| 70 | + | |
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
| |||
394 | 394 |
| |
395 | 395 |
| |
396 | 396 |
| |
397 |
| - | |
| 397 | + | |
| 398 | + | |
398 | 399 |
| |
399 | 400 |
| |
400 | 401 |
| |
| |||
451 | 452 |
| |
452 | 453 |
| |
453 | 454 |
| |
454 |
| - | |
455 |
| - | |
456 |
| - | |
457 |
| - | |
458 |
| - | |
459 |
| - | |
460 |
| - | |
461 |
| - | |
462 |
| - | |
463 |
| - | |
| 455 | + | |
| 456 | + | |
464 | 457 |
| |
465 | 458 |
| |
466 | 459 |
| |
| |||
470 | 463 |
| |
471 | 464 |
| |
472 | 465 |
| |
473 |
| - | |
| 466 | + | |
| 467 | + | |
474 | 468 |
| |
475 | 469 |
| |
476 | 470 |
| |
| |||
488 | 482 |
| |
489 | 483 |
| |
490 | 484 |
| |
491 |
| - | |
| 485 | + | |
| 486 | + | |
492 | 487 |
| |
493 | 488 |
| |
494 | 489 |
| |
| |||
589 | 584 |
| |
590 | 585 |
| |
591 | 586 |
| |
592 |
| - | |
| 587 | + | |
| 588 | + | |
593 | 589 |
| |
594 | 590 |
| |
595 | 591 |
| |
|
Lines changed: 8 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
926 | 926 |
| |
927 | 927 |
| |
928 | 928 |
| |
| 929 | + | |
929 | 930 |
| |
930 | 931 |
| |
931 |
| - | |
| 932 | + | |
932 | 933 |
| |
933 | 934 |
| |
934 | 935 |
| |
| |||
944 | 945 |
| |
945 | 946 |
| |
946 | 947 |
| |
| 948 | + | |
947 | 949 |
| |
948 | 950 |
| |
949 |
| - | |
| 951 | + | |
950 | 952 |
| |
951 | 953 |
| |
952 | 954 |
| |
| |||
962 | 964 |
| |
963 | 965 |
| |
964 | 966 |
| |
| 967 | + | |
965 | 968 |
| |
966 | 969 |
| |
967 |
| - | |
| 970 | + | |
968 | 971 |
| |
969 | 972 |
| |
970 | 973 |
| |
| |||
980 | 983 |
| |
981 | 984 |
| |
982 | 985 |
| |
| 986 | + | |
983 | 987 |
| |
984 | 988 |
| |
985 |
| - | |
| 989 | + | |
986 | 990 |
| |
987 | 991 |
| |
988 | 992 |
| |
|
Lines changed: 30 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2472 | 2472 |
| |
2473 | 2473 |
| |
2474 | 2474 |
| |
| 2475 | + | |
| 2476 | + | |
| 2477 | + | |
| 2478 | + | |
| 2479 | + | |
| 2480 | + | |
| 2481 | + | |
| 2482 | + | |
| 2483 | + | |
| 2484 | + | |
| 2485 | + | |
| 2486 | + | |
| 2487 | + | |
| 2488 | + | |
| 2489 | + | |
| 2490 | + | |
| 2491 | + | |
| 2492 | + | |
| 2493 | + | |
| 2494 | + | |
| 2495 | + | |
| 2496 | + | |
| 2497 | + | |
| 2498 | + | |
| 2499 | + | |
| 2500 | + | |
| 2501 | + | |
| 2502 | + | |
| 2503 | + | |
| 2504 | + | |
2475 | 2505 |
| |
2476 | 2506 |
| |
2477 | 2507 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
51 |
| - | |
| 51 | + | |
52 | 52 |
| |
53 | 53 |
| |
54 | 54 |
| |
|
Lines changed: 13 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
791 | 791 |
| |
792 | 792 |
| |
793 | 793 |
| |
| 794 | + | |
| 795 | + | |
| 796 | + | |
| 797 | + | |
| 798 | + | |
| 799 | + | |
| 800 | + | |
| 801 | + | |
| 802 | + | |
| 803 | + | |
| 804 | + | |
| 805 | + | |
| 806 | + | |
794 | 807 |
| |
795 | 808 |
| |
796 | 809 |
| |
|
Lines changed: 78 additions & 49 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
833 | 833 |
| |
834 | 834 |
| |
835 | 835 |
| |
836 |
| - | |
| 836 | + | |
837 | 837 |
| |
838 |
| - | |
| 838 | + | |
839 | 839 |
| |
840 |
| - | |
| 840 | + | |
841 | 841 |
| |
842 | 842 |
| |
843 | 843 |
| |
844 | 844 |
| |
845 | 845 |
| |
| 846 | + | |
846 | 847 |
| |
847 | 848 |
| |
848 | 849 |
| |
849 |
| - | |
| 850 | + | |
| 851 | + | |
| 852 | + | |
| 853 | + | |
| 854 | + | |
850 | 855 |
| |
851 | 856 |
| |
852 | 857 |
| |
853 | 858 |
| |
854 | 859 |
| |
855 |
| - | |
856 |
| - | |
857 |
| - | |
858 |
| - | |
859 |
| - | |
860 |
| - | |
861 |
| - | |
862 |
| - | |
863 |
| - | |
| 860 | + | |
| 861 | + | |
| 862 | + | |
| 863 | + | |
| 864 | + | |
| 865 | + | |
| 866 | + | |
| 867 | + | |
| 868 | + | |
| 869 | + | |
| 870 | + | |
| 871 | + | |
| 872 | + | |
| 873 | + | |
864 | 874 |
| |
865 | 875 |
| |
866 |
| - | |
867 |
| - | |
868 |
| - | |
| 876 | + | |
| 877 | + | |
| 878 | + | |
| 879 | + | |
| 880 | + | |
| 881 | + | |
869 | 882 |
| |
870 | 883 |
| |
871 | 884 |
| |
| |||
880 | 893 |
| |
881 | 894 |
| |
882 | 895 |
| |
883 |
| - | |
| 896 | + | |
884 | 897 |
| |
885 | 898 |
| |
886 | 899 |
| |
887 | 900 |
| |
888 | 901 |
| |
889 |
| - | |
890 |
| - | |
| 902 | + | |
| 903 | + | |
| 904 | + | |
| 905 | + | |
| 906 | + | |
891 | 907 |
| |
| 908 | + | |
892 | 909 |
| |
893 |
| - | |
894 |
| - | |
895 |
| - | |
896 |
| - | |
897 |
| - | |
898 |
| - | |
899 |
| - | |
900 |
| - | |
901 |
| - | |
| 910 | + | |
| 911 | + | |
| 912 | + | |
| 913 | + | |
| 914 | + | |
| 915 | + | |
| 916 | + | |
902 | 917 |
| |
903 | 918 |
| |
904 | 919 |
| |
| |||
1066 | 1081 |
| |
1067 | 1082 |
| |
1068 | 1083 |
| |
1069 |
| - | |
1070 |
| - | |
1071 |
| - | |
1072 |
| - | |
1073 |
| - | |
1074 |
| - | |
1075 |
| - | |
1076 | 1084 |
| |
1077 | 1085 |
| |
1078 | 1086 |
| |
| |||
1158 | 1166 |
| |
1159 | 1167 |
| |
1160 | 1168 |
| |
1161 |
| - | |
| 1169 | + | |
1162 | 1170 |
| |
1163 | 1171 |
| |
1164 | 1172 |
| |
| |||
1208 | 1216 |
| |
1209 | 1217 |
| |
1210 | 1218 |
| |
1211 |
| - | |
| 1219 | + | |
1212 | 1220 |
| |
1213 | 1221 |
| |
1214 | 1222 |
| |
| |||
1292 | 1300 |
| |
1293 | 1301 |
| |
1294 | 1302 |
| |
1295 |
| - | |
| 1303 | + | |
1296 | 1304 |
| |
1297 | 1305 |
| |
1298 | 1306 |
| |
1299 |
| - | |
| 1307 | + | |
1300 | 1308 |
| |
1301 | 1309 |
| |
1302 | 1310 |
| |
1303 |
| - | |
| 1311 | + | |
1304 | 1312 |
| |
1305 | 1313 |
| |
1306 | 1314 |
| |
| |||
1828 | 1836 |
| |
1829 | 1837 |
| |
1830 | 1838 |
| |
1831 |
| - | |
| 1839 | + | |
1832 | 1840 |
| |
| 1841 | + | |
1833 | 1842 |
| |
1834 | 1843 |
| |
1835 | 1844 |
| |
1836 | 1845 |
| |
1837 | 1846 |
| |
1838 | 1847 |
| |
1839 | 1848 |
| |
1840 |
| - | |
| 1849 | + | |
| 1850 | + | |
| 1851 | + | |
| 1852 | + | |
| 1853 | + | |
| 1854 | + | |
| 1855 | + | |
1841 | 1856 |
| |
1842 | 1857 |
| |
1843 | 1858 |
| |
1844 | 1859 |
| |
1845 | 1860 |
| |
| 1861 | + | |
1846 | 1862 |
| |
1847 |
| - | |
| 1863 | + | |
| 1864 | + | |
| 1865 | + | |
| 1866 | + | |
| 1867 | + | |
1848 | 1868 |
| |
1849 | 1869 |
| |
1850 | 1870 |
| |
| |||
1882 | 1902 |
| |
1883 | 1903 |
| |
1884 | 1904 |
| |
| 1905 | + | |
| 1906 | + | |
| 1907 | + | |
| 1908 | + | |
| 1909 | + | |
| 1910 | + | |
| 1911 | + | |
| 1912 | + | |
| 1913 | + | |
| 1914 | + | |
| 1915 | + | |
| 1916 | + | |
1885 | 1917 |
| |
1886 | 1918 |
| |
1887 | 1919 |
| |
| |||
1890 | 1922 |
| |
1891 | 1923 |
| |
1892 | 1924 |
| |
| 1925 | + | |
| 1926 | + | |
1893 | 1927 |
| |
| 1928 | + | |
1894 | 1929 |
| |
1895 |
| - | |
1896 |
| - | |
1897 |
| - | |
1898 |
| - | |
1899 |
| - | |
1900 |
| - | |
1901 | 1930 |
| |
1902 | 1931 |
| |
1903 | 1932 |
| |
|
Lines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
136 | 136 |
| |
137 | 137 |
| |
138 | 138 |
| |
139 |
| - | |
| 139 | + | |
140 | 140 |
| |
141 | 141 |
| |
142 | 142 |
| |
143 |
| - | |
| 143 | + | |
| 144 | + | |
144 | 145 |
| |
145 | 146 |
| |
146 | 147 |
| |
| |||
482 | 483 |
| |
483 | 484 |
| |
484 | 485 |
| |
485 |
| - | |
| 486 | + | |
486 | 487 |
| |
487 | 488 |
| |
488 | 489 |
| |
| |||
1301 | 1302 |
| |
1302 | 1303 |
| |
1303 | 1304 |
| |
1304 |
| - | |
| 1305 | + | |
1305 | 1306 |
| |
1306 | 1307 |
| |
1307 | 1308 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
266 | 266 |
| |
267 | 267 |
| |
268 | 268 |
| |
269 |
| - | |
| 269 | + | |
270 | 270 |
| |
271 | 271 |
| |
272 | 272 |
| |
|
Lines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
222 | 222 |
| |
223 | 223 |
| |
224 | 224 |
| |
225 |
| - | |
226 |
| - | |
227 |
| - | |
228 |
| - | |
| 225 | + | |
229 | 226 |
| |
230 | 227 |
| |
231 | 228 |
| |
|
Lines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
220 | 220 |
| |
221 | 221 |
| |
222 | 222 |
| |
223 |
| - | |
224 |
| - | |
225 |
| - | |
226 |
| - | |
| 223 | + | |
227 | 224 |
| |
228 | 225 |
| |
229 | 226 |
| |
|
Lines changed: 7 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
18 | 25 |
| |
19 | 26 |
| |
20 | 27 |
| |
|
Lines changed: 7 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
31 | 37 |
|
0 commit comments