File tree
8 files changed
+76
-26
lines changed- src/librustc
- infer
- mir
- traits
- query
- ty
8 files changed
+76
-26
lines changedLines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
356 | 356 |
| |
357 | 357 |
| |
358 | 358 |
| |
359 |
| - | |
| 359 | + | |
| 360 | + | |
360 | 361 |
| |
361 | 362 |
| |
362 | 363 |
| |
|
Lines changed: 15 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2624 | 2624 |
| |
2625 | 2625 |
| |
2626 | 2626 |
| |
2627 |
| - | |
| 2627 | + | |
| 2628 | + | |
| 2629 | + | |
2628 | 2630 |
| |
2629 | 2631 |
| |
2630 | 2632 |
| |
| |||
3115 | 3117 |
| |
3116 | 3118 |
| |
3117 | 3119 |
| |
3118 |
| - | |
| 3120 | + | |
| 3121 | + | |
| 3122 | + | |
3119 | 3123 |
| |
3120 | 3124 |
| |
3121 | 3125 |
| |
| |||
3283 | 3287 |
| |
3284 | 3288 |
| |
3285 | 3289 |
| |
3286 |
| - | |
| 3290 | + | |
| 3291 | + | |
| 3292 | + | |
3287 | 3293 |
| |
3288 | 3294 |
| |
3289 | 3295 |
| |
| |||
3300 | 3306 |
| |
3301 | 3307 |
| |
3302 | 3308 |
| |
3303 |
| - | |
| 3309 | + | |
| 3310 | + | |
| 3311 | + | |
3304 | 3312 |
| |
3305 | 3313 |
| |
3306 | 3314 |
| |
| |||
3389 | 3397 |
| |
3390 | 3398 |
| |
3391 | 3399 |
| |
3392 |
| - | |
| 3400 | + | |
| 3401 | + | |
| 3402 | + | |
3393 | 3403 |
| |
3394 | 3404 |
| |
3395 | 3405 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
395 | 395 |
| |
396 | 396 |
| |
397 | 397 |
| |
398 |
| - | |
| 398 | + | |
| 399 | + | |
| 400 | + | |
399 | 401 |
| |
400 | 402 |
| |
401 | 403 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
191 | 191 |
| |
192 | 192 |
| |
193 | 193 |
| |
194 |
| - | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
195 | 197 |
| |
196 | 198 |
| |
197 | 199 |
| |
|
Lines changed: 15 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
759 | 759 |
| |
760 | 760 |
| |
761 | 761 |
| |
762 |
| - | |
| 762 | + | |
| 763 | + | |
| 764 | + | |
763 | 765 |
| |
764 | 766 |
| |
765 | 767 |
| |
| |||
893 | 895 |
| |
894 | 896 |
| |
895 | 897 |
| |
896 |
| - | |
| 898 | + | |
| 899 | + | |
| 900 | + | |
897 | 901 |
| |
898 | 902 |
| |
899 | 903 |
| |
| |||
909 | 913 |
| |
910 | 914 |
| |
911 | 915 |
| |
912 |
| - | |
| 916 | + | |
| 917 | + | |
| 918 | + | |
913 | 919 |
| |
914 | 920 |
| |
915 | 921 |
| |
| |||
950 | 956 |
| |
951 | 957 |
| |
952 | 958 |
| |
953 |
| - | |
| 959 | + | |
| 960 | + | |
| 961 | + | |
954 | 962 |
| |
955 | 963 |
| |
956 | 964 |
| |
| |||
971 | 979 |
| |
972 | 980 |
| |
973 | 981 |
| |
974 |
| - | |
| 982 | + | |
| 983 | + | |
| 984 | + | |
975 | 985 |
| |
976 | 986 |
| |
977 | 987 |
| |
|
Lines changed: 19 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
45 | 45 |
| |
46 | 46 |
| |
47 | 47 |
| |
48 |
| - | |
49 |
| - | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
50 | 53 |
| |
51 | 54 |
| |
52 | 55 |
| |
| |||
188 | 191 |
| |
189 | 192 |
| |
190 | 193 |
| |
191 |
| - | |
| 194 | + | |
| 195 | + | |
192 | 196 |
| |
193 | 197 |
| |
194 | 198 |
| |
| |||
202 | 206 |
| |
203 | 207 |
| |
204 | 208 |
| |
205 |
| - | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
206 | 212 |
| |
207 | 213 |
| |
208 | 214 |
| |
| |||
432 | 438 |
| |
433 | 439 |
| |
434 | 440 |
| |
435 |
| - | |
| 441 | + | |
| 442 | + | |
| 443 | + | |
436 | 444 |
| |
437 | 445 |
| |
438 | 446 |
| |
| |||
494 | 502 |
| |
495 | 503 |
| |
496 | 504 |
| |
497 |
| - | |
| 505 | + | |
| 506 | + | |
| 507 | + | |
498 | 508 |
| |
499 | 509 |
| |
500 | 510 |
| |
| |||
732 | 742 |
| |
733 | 743 |
| |
734 | 744 |
| |
735 |
| - | |
| 745 | + | |
| 746 | + | |
| 747 | + | |
736 | 748 |
| |
737 | 749 |
| |
738 | 750 |
| |
|
Lines changed: 13 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
596 | 596 |
| |
597 | 597 |
| |
598 | 598 |
| |
599 |
| - | |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
600 | 603 |
| |
601 | 604 |
| |
602 | 605 |
| |
| |||
821 | 824 |
| |
822 | 825 |
| |
823 | 826 |
| |
824 |
| - | |
| 827 | + | |
| 828 | + | |
| 829 | + | |
825 | 830 |
| |
826 | 831 |
| |
827 | 832 |
| |
| |||
968 | 973 |
| |
969 | 974 |
| |
970 | 975 |
| |
971 |
| - | |
| 976 | + | |
| 977 | + | |
| 978 | + | |
972 | 979 |
| |
973 | 980 |
| |
974 | 981 |
| |
| |||
1173 | 1180 |
| |
1174 | 1181 |
| |
1175 | 1182 |
| |
1176 |
| - | |
| 1183 | + | |
| 1184 | + | |
| 1185 | + | |
1177 | 1186 |
| |
1178 | 1187 |
| |
1179 | 1188 |
| |
|
Lines changed: 6 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
129 | 129 |
| |
130 | 130 |
| |
131 | 131 |
| |
132 |
| - | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
133 | 135 |
| |
134 | 136 |
| |
135 | 137 |
| |
| |||
432 | 434 |
| |
433 | 435 |
| |
434 | 436 |
| |
435 |
| - | |
| 437 | + | |
| 438 | + | |
| 439 | + | |
436 | 440 |
| |
437 | 441 |
| |
438 | 442 |
| |
|
0 commit comments