File tree
16 files changed
+107
-67
lines changed- compiler
- rustc_const_eval/src
- const_eval
- interpret
- rustc_middle/src/mir/interpret
- rustc_mir_build/src/thir/pattern
16 files changed
+107
-67
lines changedLines changed: 12 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
167 | 167 |
| |
168 | 168 |
| |
169 | 169 |
| |
170 |
| - | |
171 |
| - | |
172 |
| - | |
173 |
| - | |
174 |
| - | |
175 |
| - | |
176 |
| - | |
177 |
| - | |
178 |
| - | |
179 |
| - | |
180 |
| - | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
181 | 182 |
| |
182 | 183 |
| |
183 | 184 |
| |
|
Lines changed: 9 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
197 | 197 |
| |
198 | 198 |
| |
199 | 199 |
| |
200 |
| - | |
201 |
| - | |
| 200 | + | |
| 201 | + | |
202 | 202 |
| |
203 | 203 |
| |
204 | 204 |
| |
| |||
207 | 207 |
| |
208 | 208 |
| |
209 | 209 |
| |
210 |
| - | |
| 210 | + | |
211 | 211 |
| |
212 | 212 |
| |
213 |
| - | |
214 |
| - | |
| 213 | + | |
| 214 | + | |
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
221 | 221 |
| |
222 |
| - | |
| 222 | + | |
223 | 223 |
| |
224 | 224 |
| |
225 | 225 |
| |
226 | 226 |
| |
227 | 227 |
| |
228 |
| - | |
| 228 | + | |
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
| |||
329 | 329 |
| |
330 | 330 |
| |
331 | 331 |
| |
332 |
| - | |
| 332 | + | |
333 | 333 |
| |
334 |
| - | |
| 334 | + | |
335 | 335 |
| |
336 | 336 |
| |
337 | 337 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
283 | 283 |
| |
284 | 284 |
| |
285 | 285 |
| |
286 |
| - | |
| 286 | + | |
287 | 287 |
| |
288 | 288 |
| |
289 | 289 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
640 | 640 |
| |
641 | 641 |
| |
642 | 642 |
| |
643 |
| - | |
| 643 | + | |
644 | 644 |
| |
645 | 645 |
| |
646 | 646 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
202 | 202 |
| |
203 | 203 |
| |
204 | 204 |
| |
205 |
| - | |
| 205 | + | |
206 | 206 |
| |
207 | 207 |
| |
208 | 208 |
| |
|
Lines changed: 23 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1102 | 1102 |
| |
1103 | 1103 |
| |
1104 | 1104 |
| |
1105 |
| - | |
| 1105 | + | |
| 1106 | + | |
| 1107 | + | |
| 1108 | + | |
1106 | 1109 |
| |
1107 | 1110 |
| |
1108 |
| - | |
1109 |
| - | |
1110 |
| - | |
1111 |
| - | |
1112 |
| - | |
1113 |
| - | |
1114 |
| - | |
| 1111 | + | |
| 1112 | + | |
| 1113 | + | |
| 1114 | + | |
| 1115 | + | |
| 1116 | + | |
| 1117 | + | |
| 1118 | + | |
| 1119 | + | |
| 1120 | + | |
| 1121 | + | |
| 1122 | + | |
| 1123 | + | |
1115 | 1124 |
| |
1116 |
| - | |
1117 |
| - | |
1118 |
| - | |
| 1125 | + | |
| 1126 | + | |
1119 | 1127 |
| |
1120 | 1128 |
| |
1121 | 1129 |
| |
1122 | 1130 |
| |
1123 |
| - | |
1124 |
| - | |
| 1131 | + | |
| 1132 | + | |
1125 | 1133 |
| |
1126 | 1134 |
| |
1127 | 1135 |
| |
1128 |
| - | |
| 1136 | + | |
1129 | 1137 |
| |
1130 | 1138 |
| |
1131 | 1139 |
| |
| |||
1138 | 1146 |
| |
1139 | 1147 |
| |
1140 | 1148 |
| |
1141 |
| - | |
| 1149 | + | |
1142 | 1150 |
| |
1143 | 1151 |
| |
1144 | 1152 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
342 | 342 |
| |
343 | 343 |
| |
344 | 344 |
| |
345 |
| - | |
| 345 | + | |
346 | 346 |
| |
347 | 347 |
| |
348 | 348 |
| |
| |||
738 | 738 |
| |
739 | 739 |
| |
740 | 740 |
| |
741 |
| - | |
| 741 | + | |
742 | 742 |
| |
743 | 743 |
| |
744 | 744 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
281 | 281 |
| |
282 | 282 |
| |
283 | 283 |
| |
284 |
| - | |
| 284 | + | |
285 | 285 |
| |
286 | 286 |
| |
287 | 287 |
| |
| |||
1104 | 1104 |
| |
1105 | 1105 |
| |
1106 | 1106 |
| |
1107 |
| - | |
| 1107 | + | |
1108 | 1108 |
| |
1109 | 1109 |
| |
1110 | 1110 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
519 | 519 |
| |
520 | 520 |
| |
521 | 521 |
| |
522 |
| - | |
| 522 | + | |
523 | 523 |
| |
524 | 524 |
| |
525 | 525 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
50 | 50 |
| |
51 | 51 |
| |
52 | 52 |
| |
53 |
| - | |
| 53 | + | |
54 | 54 |
| |
55 | 55 |
| |
56 | 56 |
| |
| |||
75 | 75 |
| |
76 | 76 |
| |
77 | 77 |
| |
78 |
| - | |
| 78 | + | |
79 | 79 |
| |
80 | 80 |
| |
81 | 81 |
| |
| |||
132 | 132 |
| |
133 | 133 |
| |
134 | 134 |
| |
135 |
| - | |
| 135 | + | |
| 136 | + | |
136 | 137 |
| |
137 | 138 |
| |
138 | 139 |
| |
|
Lines changed: 4 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
312 | 312 |
| |
313 | 313 |
| |
314 | 314 |
| |
315 |
| - | |
| 315 | + | |
316 | 316 |
| |
317 | 317 |
| |
318 | 318 |
| |
| |||
577 | 577 |
| |
578 | 578 |
| |
579 | 579 |
| |
580 |
| - | |
| 580 | + | |
581 | 581 |
| |
582 | 582 |
| |
583 | 583 |
| |
| |||
590 | 590 |
| |
591 | 591 |
| |
592 | 592 |
| |
593 |
| - | |
| 593 | + | |
594 | 594 |
| |
595 | 595 |
| |
596 | 596 |
| |
| |||
667 | 667 |
| |
668 | 668 |
| |
669 | 669 |
| |
670 |
| - | |
| 670 | + | |
671 | 671 |
| |
672 | 672 |
| |
673 | 673 |
| |
|
Lines changed: 14 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
18 |
| - | |
19 |
| - | |
| 18 | + | |
| 19 | + | |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
| |||
81 | 81 |
| |
82 | 82 |
| |
83 | 83 |
| |
| 84 | + | |
| 85 | + | |
84 | 86 |
| |
85 | 87 |
| |
86 | 88 |
| |
| |||
90 | 92 |
| |
91 | 93 |
| |
92 | 94 |
| |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
93 | 101 |
| |
94 | 102 |
| |
95 | 103 |
| |
96 | 104 |
| |
| 105 | + | |
| 106 | + | |
| 107 | + | |
97 | 108 |
| |
98 | 109 |
| |
99 | 110 |
| |
| |||
425 | 436 |
| |
426 | 437 |
| |
427 | 438 |
| |
428 |
| - | |
| 439 | + | |
429 | 440 |
| |
430 | 441 |
| |
431 | 442 |
| |
|
Lines changed: 9 additions & 5 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
221 | 221 |
| |
222 | 222 |
| |
223 | 223 |
| |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
224 | 231 |
| |
225 | 232 |
| |
226 | 233 |
| |
| |||
298 | 305 |
| |
299 | 306 |
| |
300 | 307 |
| |
301 |
| - | |
302 |
| - | |
303 |
| - | |
304 |
| - | |
| 308 | + | |
305 | 309 |
| |
306 | 310 |
| |
307 | 311 |
| |
| |||
408 | 412 |
| |
409 | 413 |
| |
410 | 414 |
| |
411 |
| - | |
| 415 | + | |
412 | 416 |
| |
413 | 417 |
| |
414 | 418 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
120 | 120 |
| |
121 | 121 |
| |
122 | 122 |
| |
123 |
| - | |
| 123 | + | |
| 124 | + | |
124 | 125 |
| |
125 | 126 |
| |
126 | 127 |
| |
|
0 commit comments