This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
File tree
30 files changed
+113
-52
lines changed- compiler
- rustc_codegen_cranelift/src
- rustc_codegen_gcc/src
- rustc_codegen_llvm
- src
- rustc_codegen_ssa
- src/mir
- rustc_const_eval
- src/interpret
- rustc_hir_typeck
- src
- rustc_middle
- src/ty
- rustc_target/src/abi
- rustc_ty_utils
- src
- library/core/src
- src
- ci
- librustdoc/html/static/css
- tests/rustdoc-gui
30 files changed
+113
-52
lines changedLines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3416 | 3416 |
| |
3417 | 3417 |
| |
3418 | 3418 |
| |
| 3419 | + | |
3419 | 3420 |
| |
3420 | 3421 |
| |
3421 | 3422 |
| |
| |||
3456 | 3457 |
| |
3457 | 3458 |
| |
3458 | 3459 |
| |
| 3460 | + | |
3459 | 3461 |
| |
3460 | 3462 |
| |
3461 | 3463 |
| |
| |||
3493 | 3495 |
| |
3494 | 3496 |
| |
3495 | 3497 |
| |
| 3498 | + | |
3496 | 3499 |
| |
3497 | 3500 |
| |
3498 | 3501 |
| |
| |||
3772 | 3775 |
| |
3773 | 3776 |
| |
3774 | 3777 |
| |
| 3778 | + | |
3775 | 3779 |
| |
3776 | 3780 |
| |
3777 | 3781 |
| |
| |||
4027 | 4031 |
| |
4028 | 4032 |
| |
4029 | 4033 |
| |
| 4034 | + | |
4030 | 4035 |
| |
4031 | 4036 |
| |
4032 | 4037 |
| |
| |||
4522 | 4527 |
| |
4523 | 4528 |
| |
4524 | 4529 |
| |
| 4530 | + | |
4525 | 4531 |
| |
4526 | 4532 |
| |
4527 | 4533 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
| 6 | + | |
| 7 | + | |
7 | 8 |
| |
8 | 9 |
| |
9 | 10 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
| 18 | + | |
18 | 19 |
| |
19 | 20 |
| |
20 | 21 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
| 11 | + | |
10 | 12 |
| |
11 | 13 |
| |
12 | 14 |
| |
| |||
28 | 30 |
| |
29 | 31 |
| |
30 | 32 |
| |
31 |
| - | |
32 | 33 |
| |
33 | 34 |
| |
34 | 35 |
| |
| |||
998 | 999 |
| |
999 | 1000 |
| |
1000 | 1001 |
| |
1001 |
| - | |
| 1002 | + | |
1002 | 1003 |
| |
1003 | 1004 |
| |
1004 | 1005 |
| |
1005 | 1006 |
| |
1006 |
| - | |
| 1007 | + | |
1007 | 1008 |
| |
1008 | 1009 |
| |
1009 | 1010 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
| 3 | + | |
| 4 | + | |
2 | 5 |
| |
3 | 6 |
| |
4 | 7 |
| |
5 | 8 |
| |
6 | 9 |
| |
7 | 10 |
| |
8 |
| - | |
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
| 35 | + | |
35 | 36 |
| |
36 | 37 |
| |
37 | 38 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
| 5 | + | |
| 6 | + | |
4 | 7 |
| |
5 | 8 |
| |
6 | 9 |
| |
7 | 10 |
| |
8 | 11 |
| |
9 | 12 |
| |
10 | 13 |
| |
| 14 | + | |
11 | 15 |
| |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 | 16 |
| |
17 | 17 |
| |
18 | 18 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
| 5 | + | |
| 6 | + | |
4 | 7 |
| |
5 | 8 |
| |
6 | 9 |
| |
| |||
11 | 14 |
| |
12 | 15 |
| |
13 | 16 |
| |
14 |
| - | |
15 | 17 |
| |
16 | 18 |
| |
17 | 19 |
| |
|
Lines changed: 5 additions & 4 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 |
| |
| |||
20 | 22 |
| |
21 | 23 |
| |
22 | 24 |
| |
23 |
| - | |
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
| |||
505 | 506 |
| |
506 | 507 |
| |
507 | 508 |
| |
508 |
| - | |
| 509 | + | |
509 | 510 |
| |
510 | 511 |
| |
511 | 512 |
| |
512 | 513 |
| |
513 |
| - | |
| 514 | + | |
514 | 515 |
| |
515 | 516 |
| |
516 | 517 |
| |
| |||
521 | 522 |
| |
522 | 523 |
| |
523 | 524 |
| |
524 |
| - | |
| 525 | + | |
525 | 526 |
| |
526 | 527 |
| |
527 | 528 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
| 5 | + | |
| 6 | + | |
4 | 7 |
| |
5 | 8 |
| |
6 | 9 |
| |
| |||
9 | 12 |
| |
10 | 13 |
| |
11 | 14 |
| |
12 |
| - | |
13 | 15 |
| |
14 | 16 |
| |
15 | 17 |
| |
|
Lines changed: 2 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 |
| |
6 | 8 |
| |
7 | 9 |
| |
8 |
| - | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| 17 | + | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
|
Lines changed: 3 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 |
| |
9 | 11 |
| |
10 | 12 |
| |
11 |
| - | |
12 | 13 |
| |
13 | 14 |
| |
14 | 15 |
| |
| |||
207 | 208 |
| |
208 | 209 |
| |
209 | 210 |
| |
210 |
| - | |
| 211 | + | |
211 | 212 |
| |
212 | 213 |
| |
213 | 214 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
1 | 3 |
| |
2 | 4 |
| |
3 | 5 |
| |
4 | 6 |
| |
5 |
| - | |
6 |
| - | |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
|
Lines changed: 8 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
| 7 | + | |
| 8 | + | |
7 | 9 |
| |
8 | 10 |
| |
9 | 11 |
| |
10 | 12 |
| |
11 | 13 |
| |
12 | 14 |
| |
13 |
| - | |
14 | 15 |
| |
15 | 16 |
| |
16 | 17 |
| |
| |||
117 | 118 |
| |
118 | 119 |
| |
119 | 120 |
| |
120 |
| - | |
| 121 | + | |
121 | 122 |
| |
122 | 123 |
| |
123 | 124 |
| |
| |||
131 | 132 |
| |
132 | 133 |
| |
133 | 134 |
| |
134 |
| - | |
| 135 | + | |
135 | 136 |
| |
136 | 137 |
| |
137 | 138 |
| |
| |||
142 | 143 |
| |
143 | 144 |
| |
144 | 145 |
| |
145 |
| - | |
| 146 | + | |
146 | 147 |
| |
147 | 148 |
| |
148 | 149 |
| |
| |||
572 | 573 |
| |
573 | 574 |
| |
574 | 575 |
| |
575 |
| - | |
| 576 | + | |
576 | 577 |
| |
577 | 578 |
| |
578 | 579 |
| |
| |||
588 | 589 |
| |
589 | 590 |
| |
590 | 591 |
| |
591 |
| - | |
| 592 | + | |
592 | 593 |
| |
593 | 594 |
| |
594 | 595 |
| |
595 |
| - | |
| 596 | + | |
596 | 597 |
| |
597 | 598 |
| |
598 | 599 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
|
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 |
| |
7 | 8 |
| |
8 | 9 |
| |
9 |
| - | |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
| 15 | + | |
15 | 16 |
| |
16 | 17 |
| |
17 | 18 |
| |
|
Lines changed: 17 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
5 | 10 |
| |
6 | 11 |
| |
7 | 12 |
| |
8 | 13 |
| |
9 |
| - | |
10 | 14 |
| |
11 | 15 |
| |
12 | 16 |
| |
| |||
15 | 19 |
| |
16 | 20 |
| |
17 | 21 |
| |
18 |
| - | |
| 22 | + | |
19 | 23 |
| |
20 | 24 |
| |
21 | 25 |
| |
| 26 | + | |
22 | 27 |
| |
23 | 28 |
| |
24 | 29 |
| |
| |||
27 | 32 |
| |
28 | 33 |
| |
29 | 34 |
| |
30 |
| - | |
| 35 | + | |
31 | 36 |
| |
32 | 37 |
| |
| 38 | + | |
33 | 39 |
| |
34 | 40 |
| |
35 | 41 |
| |
| |||
44 | 50 |
| |
45 | 51 |
| |
46 | 52 |
| |
47 |
| - | |
| 53 | + | |
| 54 | + | |
48 | 55 |
| |
49 | 56 |
| |
50 | 57 |
| |
| |||
54 | 61 |
| |
55 | 62 |
| |
56 | 63 |
| |
57 |
| - | |
| 64 | + | |
| 65 | + | |
58 | 66 |
| |
59 | 67 |
| |
60 | 68 |
| |
| |||
102 | 110 |
| |
103 | 111 |
| |
104 | 112 |
| |
105 |
| - | |
| 113 | + | |
106 | 114 |
| |
107 | 115 |
| |
108 | 116 |
| |
| |||
115 | 123 |
| |
116 | 124 |
| |
117 | 125 |
| |
118 |
| - | |
| 126 | + | |
119 | 127 |
| |
120 | 128 |
| |
| 129 | + | |
121 | 130 |
| |
122 | 131 |
| |
123 | 132 |
| |
| |||
127 | 136 |
| |
128 | 137 |
| |
129 | 138 |
| |
| 139 | + | |
130 | 140 |
| |
131 | 141 |
| |
132 | 142 |
| |
|
Lines changed: 2 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 |
| - | |
6 |
| - | |
| 4 | + | |
| 5 | + | |
7 | 6 |
| |
8 | 7 |
| |
9 | 8 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| 9 | + | |
9 | 10 |
| |
10 | 11 |
| |
11 | 12 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
| 5 | + | |
3 | 6 |
| |
4 | 7 |
| |
5 | 8 |
| |
| |||
14 | 17 |
| |
15 | 18 |
| |
16 | 19 |
| |
17 |
| - | |
18 | 20 |
| |
19 | 21 |
| |
20 | 22 |
| |
|
Lines changed: 13 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
6 | 11 |
| |
7 | 12 |
| |
8 | 13 |
| |
| |||
18 | 23 |
| |
19 | 24 |
| |
20 | 25 |
| |
21 |
| - | |
| 26 | + | |
22 | 27 |
| |
| 28 | + | |
23 | 29 |
| |
24 | 30 |
| |
25 | 31 |
| |
| |||
202 | 208 |
| |
203 | 209 |
| |
204 | 210 |
| |
205 |
| - | |
206 |
| - | |
207 |
| - | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
208 | 214 |
| |
209 | 215 |
| |
210 | 216 |
| |
| |||
563 | 569 |
| |
564 | 570 |
| |
565 | 571 |
| |
566 |
| - | |
| 572 | + | |
567 | 573 |
| |
568 | 574 |
| |
569 | 575 |
| |
| |||
816 | 822 |
| |
817 | 823 |
| |
818 | 824 |
| |
819 |
| - | |
| 825 | + | |
820 | 826 |
| |
821 | 827 |
| |
822 | 828 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1422 | 1422 |
| |
1423 | 1423 |
| |
1424 | 1424 |
| |
1425 |
| - | |
| 1425 | + | |
1426 | 1426 |
| |
1427 | 1427 |
| |
1428 | 1428 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
55 | 55 |
| |
56 | 56 |
| |
57 | 57 |
| |
58 |
| - | |
| 58 | + | |
59 | 59 |
| |
60 | 60 |
| |
61 | 61 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2435 | 2435 |
| |
2436 | 2436 |
| |
2437 | 2437 |
| |
2438 |
| - | |
| 2438 | + | |
2439 | 2439 |
| |
2440 | 2440 |
| |
2441 | 2441 |
| |
|
Lines changed: 17 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + |
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
85 | 85 |
| |
86 | 86 |
| |
87 | 87 |
| |
88 |
| - | |
89 |
| - | |
| 88 | + | |
| 89 | + | |
90 | 90 |
| |
91 | 91 |
| |
92 | 92 |
| |
|
0 commit comments