This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
33 files changed
+166
-449
lines changed- compiler
- rustc_middle
- src/mir
- rustc_next_trait_solver
- src/solve
- assembly
- eval_ctxt
- inspect
- rustc_span
- src
- rustc_trait_selection
- rustc_type_ir
- src
- solve
- ty_kind
- src/tools/tidy/src
- tests/ui
- attributes
- coherence/occurs-check
- higher-ranked
- traits/next-solver
33 files changed
+166
-449
lines changedLines changed: 8 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1041 | 1041 |
| |
1042 | 1042 |
| |
1043 | 1043 |
| |
1044 |
| - | |
1045 |
| - | |
| 1044 | + | |
| 1045 | + | |
1046 | 1046 |
| |
1047 |
| - | |
| 1047 | + | |
1048 | 1048 |
| |
1049 | 1049 |
| |
1050 | 1050 |
| |
1051 |
| - | |
| 1051 | + | |
1052 | 1052 |
| |
1053 | 1053 |
| |
1054 | 1054 |
| |
| |||
4306 | 4306 |
| |
4307 | 4307 |
| |
4308 | 4308 |
| |
4309 |
| - | |
| 4309 | + | |
4310 | 4310 |
| |
4311 | 4311 |
| |
4312 | 4312 |
| |
| |||
4435 | 4435 |
| |
4436 | 4436 |
| |
4437 | 4437 |
| |
4438 |
| - | |
| 4438 | + | |
4439 | 4439 |
| |
4440 | 4440 |
| |
4441 | 4441 |
| |
| |||
4683 | 4683 |
| |
4684 | 4684 |
| |
4685 | 4685 |
| |
4686 |
| - | |
| 4686 | + | |
4687 | 4687 |
| |
4688 | 4688 |
| |
4689 | 4689 |
| |
| |||
4744 | 4744 |
| |
4745 | 4745 |
| |
4746 | 4746 |
| |
4747 |
| - | |
4748 | 4747 |
| |
4749 | 4748 |
| |
4750 | 4749 |
| |
| |||
4827 | 4826 |
| |
4828 | 4827 |
| |
4829 | 4828 |
| |
4830 |
| - | |
| 4829 | + | |
4831 | 4830 |
| |
4832 | 4831 |
| |
4833 | 4832 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 4 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
224 | 225 |
| |
225 | 226 |
| |
226 | 227 |
| |
227 |
| - | |
228 |
| - | |
229 |
| - | |
230 |
| - | |
231 |
| - | |
232 |
| - | |
233 |
| - | |
| 228 | + | |
234 | 229 |
| |
235 | 230 |
| |
236 | 231 |
| |
| |||
240 | 235 |
| |
241 | 236 |
| |
242 | 237 |
| |
243 |
| - | |
| 238 | + | |
244 | 239 |
| |
245 | 240 |
| |
246 | 241 |
| |
| |||
250 | 245 |
| |
251 | 246 |
| |
252 | 247 |
| |
253 |
| - | |
| 248 | + | |
254 | 249 |
| |
255 | 250 |
| |
256 | 251 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
5 | 6 |
| |
6 | 7 |
| |
7 | 8 |
| |
| |||
20 | 21 |
| |
21 | 22 |
| |
22 | 23 |
| |
23 |
| - | |
24 |
| - | |
| 24 | + | |
25 | 25 |
| |
26 | 26 |
| |
27 | 27 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
| 4 | + | |
4 | 5 |
| |
5 | 6 |
| |
6 | 7 |
| |
| |||
384 | 385 |
| |
385 | 386 |
| |
386 | 387 |
| |
387 |
| - | |
388 |
| - | |
| 388 | + | |
389 | 389 |
| |
390 | 390 |
| |
391 | 391 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 | 5 |
| |
5 | 6 |
| |
| |||
86 | 87 |
| |
87 | 88 |
| |
88 | 89 |
| |
89 |
| - | |
90 |
| - | |
| 90 | + | |
91 | 91 |
| |
92 | 92 |
| |
93 | 93 |
| |
|
Lines changed: 8 additions & 14 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
| 10 | + | |
10 | 11 |
| |
11 | 12 |
| |
12 | 13 |
| |
| |||
51 | 52 |
| |
52 | 53 |
| |
53 | 54 |
| |
54 |
| - | |
55 |
| - | |
| 55 | + | |
56 | 56 |
| |
57 | 57 |
| |
58 | 58 |
| |
| |||
78 | 78 |
| |
79 | 79 |
| |
80 | 80 |
| |
81 |
| - | |
82 |
| - | |
| 81 | + | |
83 | 82 |
| |
84 | 83 |
| |
85 | 84 |
| |
| |||
96 | 95 |
| |
97 | 96 |
| |
98 | 97 |
| |
99 |
| - | |
100 |
| - | |
| 98 | + | |
101 | 99 |
| |
102 | 100 |
| |
103 | 101 |
| |
| |||
118 | 116 |
| |
119 | 117 |
| |
120 | 118 |
| |
121 |
| - | |
122 |
| - | |
| 119 | + | |
123 | 120 |
| |
124 | 121 |
| |
125 | 122 |
| |
| |||
153 | 150 |
| |
154 | 151 |
| |
155 | 152 |
| |
156 |
| - | |
157 |
| - | |
| 153 | + | |
158 | 154 |
| |
159 | 155 |
| |
160 | 156 |
| |
| |||
193 | 189 |
| |
194 | 190 |
| |
195 | 191 |
| |
196 |
| - | |
197 |
| - | |
| 192 | + | |
198 | 193 |
| |
199 | 194 |
| |
200 | 195 |
| |
| |||
212 | 207 |
| |
213 | 208 |
| |
214 | 209 |
| |
215 |
| - | |
216 |
| - | |
| 210 | + | |
217 | 211 |
| |
218 | 212 |
| |
219 | 213 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
3 | 4 |
| |
4 | 5 |
| |
5 | 6 |
| |
| |||
32 | 33 |
| |
33 | 34 |
| |
34 | 35 |
| |
35 |
| - | |
36 |
| - | |
| 36 | + | |
37 | 37 |
| |
38 | 38 |
| |
39 | 39 |
| |
| |||
105 | 105 |
| |
106 | 106 |
| |
107 | 107 |
| |
108 |
| - | |
109 |
| - | |
| 108 | + | |
110 | 109 |
| |
111 | 110 |
| |
112 | 111 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
5 | 5 |
| |
6 | 6 |
| |
7 | 7 |
| |
8 |
| - | |
| 8 | + | |
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
|
Lines changed: 5 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
| 41 | + | |
41 | 42 |
| |
42 | 43 |
| |
43 | 44 |
| |
| |||
467 | 468 |
| |
468 | 469 |
| |
469 | 470 |
| |
470 |
| - | |
471 |
| - | |
| 471 | + | |
| 472 | + | |
472 | 473 |
| |
473 | 474 |
| |
474 | 475 |
| |
475 | 476 |
| |
476 | 477 |
| |
477 |
| - | |
| 478 | + | |
478 | 479 |
| |
479 | 480 |
| |
480 | 481 |
| |
481 |
| - | |
| 482 | + | |
482 | 483 |
| |
483 | 484 |
| |
484 | 485 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 16 additions & 21 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
| 6 | + | |
6 | 7 |
| |
7 | 8 |
| |
8 | 9 |
| |
| |||
25 | 26 |
| |
26 | 27 |
| |
27 | 28 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 |
| - | |
33 |
| - | |
34 |
| - | |
35 |
| - | |
36 |
| - | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
37 | 35 |
| |
38 | 36 |
| |
39 | 37 |
| |
| |||
351 | 349 |
| |
352 | 350 |
| |
353 | 351 |
| |
354 |
| - | |
355 |
| - | |
356 |
| - | |
357 |
| - | |
358 |
| - | |
359 |
| - | |
360 |
| - | |
361 |
| - | |
362 |
| - | |
363 |
| - | |
364 |
| - | |
| 352 | + | |
| 353 | + | |
| 354 | + | |
| 355 | + | |
| 356 | + | |
| 357 | + | |
| 358 | + | |
| 359 | + | |
365 | 360 |
| |
366 | 361 |
| |
367 | 362 |
| |
368 |
| - | |
| 363 | + | |
369 | 364 |
| |
370 | 365 |
| |
371 | 366 |
| |
|
0 commit comments