This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Commit 7004267
File tree
39 files changed
+100
-49
lines changed- compiler
- rustc_borrowck/src/diagnostics
- rustc_codegen_llvm/src
- rustc_codegen_ssa/src
- back
- mir
- traits
- rustc_const_eval/src
- check_consts
- interpret
- rustc_data_structures/src
- graph/scc
- rustc_errors/src
- rustc_hir_analysis/src
- check
- coherence
- collect
- rustc_infer/src
- infer/outlives
- rustc_middle/src/ty/consts
- rustc_mir_dataflow/src
- impls
- rustc_mir_transform/src
- rustc_parse/src
- parser
- rustc_target/src/spec/abi
- rustc_trait_selection/src
- solve
- inspect
- traits
- rustc_ty_utils/src
39 files changed
+100
-49
lines changedLines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
| 7 | + | |
6 | 8 |
| |
7 | 9 |
| |
8 | 10 |
| |
| |||
116 | 118 |
| |
117 | 119 |
| |
118 | 120 |
| |
119 |
| - | |
| 121 | + | |
120 | 122 |
| |
121 | 123 |
| |
122 | 124 |
| |
| |||
147 | 149 |
| |
148 | 150 |
| |
149 | 151 |
| |
150 |
| - | |
| 152 | + | |
151 | 153 |
| |
152 | 154 |
| |
153 | 155 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
89 | 91 |
| |
90 | 92 |
| |
91 | 93 |
| |
92 |
| - | |
| 94 | + | |
93 | 95 |
| |
94 | 96 |
| |
95 | 97 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 | 4 |
| |
| |||
1142 | 1143 |
| |
1143 | 1144 |
| |
1144 | 1145 |
| |
1145 |
| - | |
| 1146 | + | |
1146 | 1147 |
| |
1147 | 1148 |
| |
1148 | 1149 |
| |
|
Lines 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: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
2 | 3 |
| |
3 | 4 |
| |
4 | 5 |
| |
| |||
1963 | 1964 |
| |
1964 | 1965 |
| |
1965 | 1966 |
| |
1966 |
| - | |
| 1967 | + | |
1967 | 1968 |
| |
1968 | 1969 |
| |
1969 | 1970 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
7 | 8 |
| |
8 | 9 |
| |
9 | 10 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 | 4 |
| |
| |||
389 | 390 |
| |
390 | 391 |
| |
391 | 392 |
| |
392 |
| - | |
| 393 | + | |
393 | 394 |
| |
394 | 395 |
| |
395 | 396 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
220 | 222 |
| |
221 | 223 |
| |
222 | 224 |
| |
223 |
| - | |
| 225 | + | |
224 | 226 |
| |
225 | 227 |
| |
226 | 228 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
254 | 256 |
| |
255 | 257 |
| |
256 | 258 |
| |
257 |
| - | |
| 259 | + | |
258 | 260 |
| |
259 | 261 |
| |
260 |
| - | |
| 262 | + | |
261 | 263 |
| |
262 | 264 |
| |
263 | 265 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 | 5 |
| |
5 | 6 |
| |
| |||
590 | 591 |
| |
591 | 592 |
| |
592 | 593 |
| |
593 |
| - | |
| 594 | + | |
594 | 595 |
| |
595 | 596 |
| |
596 | 597 |
| |
| |||
599 | 600 |
| |
600 | 601 |
| |
601 | 602 |
| |
602 |
| - | |
| 603 | + | |
603 | 604 |
| |
604 | 605 |
| |
605 | 606 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 | 5 |
| |
5 | 6 |
| |
| |||
557 | 558 |
| |
558 | 559 |
| |
559 | 560 |
| |
560 |
| - | |
| 561 | + | |
561 | 562 |
| |
562 | 563 |
| |
563 | 564 |
| |
|
Lines changed: 5 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
| |||
510 | 512 |
| |
511 | 513 |
| |
512 | 514 |
| |
513 |
| - | |
| 515 | + | |
514 | 516 |
| |
515 | 517 |
| |
516 | 518 |
| |
| |||
536 | 538 |
| |
537 | 539 |
| |
538 | 540 |
| |
539 |
| - | |
540 |
| - | |
| 541 | + | |
| 542 | + | |
541 | 543 |
| |
542 | 544 |
| |
543 | 545 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
342 | 342 |
| |
343 | 343 |
| |
344 | 344 |
| |
345 |
| - | |
| 345 | + | |
346 | 346 |
| |
347 | 347 |
| |
348 | 348 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
11 | 12 |
| |
12 | 13 |
| |
13 | 14 |
| |
| |||
569 | 570 |
| |
570 | 571 |
| |
571 | 572 |
| |
572 |
| - | |
| 573 | + | |
573 | 574 |
| |
574 | 575 |
| |
575 | 576 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| 21 | + | |
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| 13 | + | |
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
| |||
28 | 29 |
| |
29 | 30 |
| |
30 | 31 |
| |
| 32 | + | |
31 | 33 |
| |
32 | 34 |
| |
33 | 35 |
| |
| |||
1490 | 1492 |
| |
1491 | 1493 |
| |
1492 | 1494 |
| |
1493 |
| - | |
| 1495 | + | |
1494 | 1496 |
| |
1495 | 1497 |
| |
1496 | 1498 |
| |
|
Lines changed: 6 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
457 | 459 |
| |
458 | 460 |
| |
459 | 461 |
| |
460 |
| - | |
| 462 | + | |
461 | 463 |
| |
462 | 464 |
| |
463 |
| - | |
| 465 | + | |
464 | 466 |
| |
465 | 467 |
| |
466 | 468 |
| |
467 |
| - | |
| 469 | + | |
468 | 470 |
| |
469 | 471 |
| |
470 |
| - | |
| 472 | + | |
471 | 473 |
| |
472 | 474 |
| |
473 | 475 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
129 | 130 |
| |
130 | 131 |
| |
131 | 132 |
| |
132 |
| - | |
| 133 | + | |
133 | 134 |
| |
134 | 135 |
| |
135 | 136 |
| |
|
Lines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 | 4 |
| |
| |||
207 | 208 |
| |
208 | 209 |
| |
209 | 210 |
| |
210 |
| - | |
| 211 | + | |
211 | 212 |
| |
212 |
| - | |
| 213 | + | |
213 | 214 |
| |
214 | 215 |
| |
215 | 216 |
| |
| |||
218 | 219 |
| |
219 | 220 |
| |
220 | 221 |
| |
221 |
| - | |
| 222 | + | |
222 | 223 |
| |
223 |
| - | |
| 224 | + | |
224 | 225 |
| |
225 | 226 |
| |
226 | 227 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
601 | 603 |
| |
602 | 604 |
| |
603 | 605 |
| |
604 |
| - | |
| 606 | + | |
605 | 607 |
| |
606 | 608 |
| |
607 | 609 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
63 | 65 |
| |
64 | 66 |
| |
65 | 67 |
| |
66 |
| - | |
| 68 | + | |
67 | 69 |
| |
68 | 70 |
| |
69 | 71 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
| 12 | + | |
11 | 13 |
| |
12 | 14 |
| |
13 | 15 |
| |
| |||
54 | 56 |
| |
55 | 57 |
| |
56 | 58 |
| |
57 |
| - | |
| 59 | + | |
58 | 60 |
| |
59 | 61 |
| |
60 | 62 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
62 | 62 |
| |
63 | 63 |
| |
64 | 64 |
| |
| 65 | + | |
65 | 66 |
| |
66 | 67 |
| |
67 | 68 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
181 | 183 |
| |
182 | 184 |
| |
183 | 185 |
| |
184 |
| - | |
| 186 | + | |
185 | 187 |
| |
186 | 188 |
| |
187 | 189 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| 21 | + | |
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
|
Lines changed: 6 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
80 | 82 |
| |
81 | 83 |
| |
82 | 84 |
| |
83 |
| - | |
| 85 | + | |
84 | 86 |
| |
85 | 87 |
| |
86 | 88 |
| |
| |||
101 | 103 |
| |
102 | 104 |
| |
103 | 105 |
| |
104 |
| - | |
| 106 | + | |
105 | 107 |
| |
106 | 108 |
| |
107 | 109 |
| |
| |||
125 | 127 |
| |
126 | 128 |
| |
127 | 129 |
| |
128 |
| - | |
| 130 | + | |
129 | 131 |
| |
130 | 132 |
| |
131 | 133 |
| |
| |||
152 | 154 |
| |
153 | 155 |
| |
154 | 156 |
| |
155 |
| - | |
| 157 | + | |
156 | 158 |
| |
157 | 159 |
| |
158 | 160 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
496 | 498 |
| |
497 | 499 |
| |
498 | 500 |
| |
499 |
| - | |
| 501 | + | |
500 | 502 |
| |
501 | 503 |
| |
502 | 504 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
2 | 3 |
| |
3 | 4 |
| |
4 | 5 |
| |
|
Lines changed: 3 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
| 35 | + | |
35 | 36 |
| |
36 | 37 |
| |
37 | 38 |
| |
| |||
54 | 55 |
| |
55 | 56 |
| |
56 | 57 |
| |
57 |
| - | |
| 58 | + | |
58 | 59 |
| |
59 | 60 |
| |
60 | 61 |
| |
| |||
344 | 345 |
| |
345 | 346 |
| |
346 | 347 |
| |
347 |
| - | |
| 348 | + | |
348 | 349 |
| |
349 | 350 |
| |
350 | 351 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
468 | 468 |
| |
469 | 469 |
| |
470 | 470 |
| |
471 |
| - | |
| 471 | + | |
472 | 472 |
| |
473 | 473 |
| |
474 | 474 |
| |
| |||
477 | 477 |
| |
478 | 478 |
| |
479 | 479 |
| |
480 |
| - | |
| 480 | + | |
481 | 481 |
| |
482 | 482 |
| |
483 | 483 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
996 | 996 |
| |
997 | 997 |
| |
998 | 998 |
| |
999 |
| - | |
| 999 | + | |
1000 | 1000 |
| |
1001 | 1001 |
| |
1002 | 1002 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
| 8 | + | |
8 | 9 |
| |
9 | 10 |
| |
10 | 11 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| 13 | + | |
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
| |||
1385 | 1386 |
| |
1386 | 1387 |
| |
1387 | 1388 |
| |
1388 |
| - | |
| 1389 | + | |
1389 | 1390 |
| |
1390 | 1391 |
| |
1391 | 1392 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 | 4 |
| |
| |||
1747 | 1748 |
| |
1748 | 1749 |
| |
1749 | 1750 |
| |
1750 |
| - | |
| 1751 | + | |
1751 | 1752 |
| |
1752 | 1753 |
| |
1753 | 1754 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
| |||
16 | 18 |
| |
17 | 19 |
| |
18 | 20 |
| |
19 |
| - | |
| 21 | + | |
20 | 22 |
| |
21 | 23 |
| |
22 | 24 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
| 12 | + | |
| 13 | + | |
12 | 14 |
| |
13 | 15 |
| |
14 | 16 |
| |
| |||
273 | 275 |
| |
274 | 276 |
| |
275 | 277 |
| |
276 |
| - | |
| 278 | + | |
277 | 279 |
| |
278 | 280 |
| |
279 |
| - | |
| 281 | + | |
280 | 282 |
| |
281 | 283 |
| |
282 | 284 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
1 | 2 |
| |
2 | 3 |
| |
3 | 4 |
| |
| |||
63 | 64 |
| |
64 | 65 |
| |
65 | 66 |
| |
66 |
| - | |
| 67 | + | |
67 | 68 |
| |
68 | 69 |
| |
69 | 70 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
3 | 5 |
| |
4 | 6 |
| |
5 | 7 |
| |
| |||
92 | 94 |
| |
93 | 95 |
| |
94 | 96 |
| |
95 |
| - | |
| 97 | + | |
96 | 98 |
| |
97 | 99 |
| |
98 | 100 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
249 | 249 |
| |
250 | 250 |
| |
251 | 251 |
| |
252 |
| - | |
| 252 | + | |
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
|
0 commit comments