File tree
11 files changed
+75
-76
lines changed- src/librustc/ty
11 files changed
+75
-76
lines changedLines changed: 16 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
229 | 229 |
| |
230 | 230 |
| |
231 | 231 |
| |
232 |
| - | |
233 |
| - | |
234 |
| - | |
235 |
| - | |
236 |
| - | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
| 236 | + | |
237 | 237 |
| |
238 | 238 |
| |
239 | 239 |
| |
| |||
253 | 253 |
| |
254 | 254 |
| |
255 | 255 |
| |
256 |
| - | |
257 |
| - | |
| 256 | + | |
| 257 | + | |
258 | 258 |
| |
259 | 259 |
| |
260 | 260 |
| |
| |||
278 | 278 |
| |
279 | 279 |
| |
280 | 280 |
| |
281 |
| - | |
| 281 | + | |
282 | 282 |
| |
283 | 283 |
| |
284 | 284 |
| |
| |||
308 | 308 |
| |
309 | 309 |
| |
310 | 310 |
| |
311 |
| - | |
| 311 | + | |
312 | 312 |
| |
313 | 313 |
| |
314 | 314 |
| |
| |||
342 | 342 |
| |
343 | 343 |
| |
344 | 344 |
| |
345 |
| - | |
346 |
| - | |
347 |
| - | |
348 |
| - | |
| 345 | + | |
| 346 | + | |
| 347 | + | |
| 348 | + | |
| 349 | + | |
349 | 350 |
| |
350 |
| - | |
351 |
| - | |
| 351 | + | |
| 352 | + | |
352 | 353 |
| |
353 | 354 |
| |
354 | 355 |
| |
|
Lines changed: 2 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
221 | 221 |
| |
222 | 222 |
| |
223 | 223 |
| |
224 |
| - | |
| 224 | + | |
225 | 225 |
| |
226 | 226 |
| |
227 | 227 |
| |
| |||
365 | 365 |
| |
366 | 366 |
| |
367 | 367 |
| |
368 |
| - | |
369 |
| - | |
370 |
| - | |
| 368 | + | |
371 | 369 |
| |
372 | 370 |
| |
373 | 371 |
| |
|
Lines changed: 20 additions & 19 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 |
| - | |
36 |
| - | |
37 |
| - | |
38 |
| - | |
39 |
| - | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| |||
76 | 76 |
| |
77 | 77 |
| |
78 | 78 |
| |
79 |
| - | |
80 |
| - | |
81 |
| - | |
82 |
| - | |
83 |
| - | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
| |||
96 | 96 |
| |
97 | 97 |
| |
98 | 98 |
| |
99 |
| - | |
| 99 | + | |
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
| |||
106 | 106 |
| |
107 | 107 |
| |
108 | 108 |
| |
109 |
| - | |
| 109 | + | |
110 | 110 |
| |
111 | 111 |
| |
112 | 112 |
| |
| |||
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
| 253 | + | |
253 | 254 |
| |
254 | 255 |
| |
255 | 256 |
| |
| |||
324 | 325 |
| |
325 | 326 |
| |
326 | 327 |
| |
327 |
| - | |
| 328 | + | |
328 | 329 |
| |
329 | 330 |
| |
330 | 331 |
| |
| |||
628 | 629 |
| |
629 | 630 |
| |
630 | 631 |
| |
631 |
| - | |
| 632 | + | |
632 | 633 |
| |
633 | 634 |
| |
634 | 635 |
| |
| |||
640 | 641 |
| |
641 | 642 |
| |
642 | 643 |
| |
643 |
| - | |
| 644 | + | |
644 | 645 |
| |
645 | 646 |
| |
646 | 647 |
| |
| |||
743 | 744 |
| |
744 | 745 |
| |
745 | 746 |
| |
746 |
| - | |
| 747 | + | |
747 | 748 |
| |
748 | 749 |
| |
749 | 750 |
| |
| |||
755 | 756 |
| |
756 | 757 |
| |
757 | 758 |
| |
758 |
| - | |
| 759 | + | |
759 | 760 |
| |
760 | 761 |
| |
761 | 762 |
| |
| |||
1258 | 1259 |
| |
1259 | 1260 |
| |
1260 | 1261 |
| |
1261 |
| - | |
1262 |
| - | |
| 1262 | + | |
| 1263 | + | |
1263 | 1264 |
| |
1264 | 1265 |
| |
1265 | 1266 |
| |
|
Lines changed: 9 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
956 | 956 |
| |
957 | 957 |
| |
958 | 958 |
| |
959 |
| - | |
| 959 | + | |
960 | 960 |
| |
961 | 961 |
| |
962 | 962 |
| |
| |||
973 | 973 |
| |
974 | 974 |
| |
975 | 975 |
| |
976 |
| - | |
| 976 | + | |
977 | 977 |
| |
978 | 978 |
| |
979 | 979 |
| |
| |||
2192 | 2192 |
| |
2193 | 2193 |
| |
2194 | 2194 |
| |
2195 |
| - | |
| 2195 | + | |
2196 | 2196 |
| |
2197 | 2197 |
| |
2198 | 2198 |
| |
| |||
2328 | 2328 |
| |
2329 | 2329 |
| |
2330 | 2330 |
| |
2331 |
| - | |
2332 |
| - | |
2333 |
| - | |
| 2331 | + | |
| 2332 | + | |
| 2333 | + | |
2334 | 2334 |
| |
2335 | 2335 |
| |
2336 | 2336 |
| |
| |||
2869 | 2869 |
| |
2870 | 2870 |
| |
2871 | 2871 |
| |
2872 |
| - | |
2873 |
| - | |
2874 |
| - | |
| 2872 | + | |
2875 | 2873 |
| |
2876 | 2874 |
| |
2877 | 2875 |
| |
| |||
2985 | 2983 |
| |
2986 | 2984 |
| |
2987 | 2985 |
| |
2988 |
| - | |
2989 |
| - | |
| 2986 | + | |
| 2987 | + | |
2990 | 2988 |
| |
2991 | 2989 |
| |
2992 | 2990 |
| |
|
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
73 | 73 |
| |
74 | 74 |
| |
75 | 75 |
| |
76 |
| - | |
77 | 76 |
| |
78 | 77 |
| |
79 | 78 |
| |
|
Lines changed: 4 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
274 | 274 |
| |
275 | 275 |
| |
276 | 276 |
| |
277 |
| - | |
278 |
| - | |
279 |
| - | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
280 | 281 |
| |
281 | 282 |
| |
282 | 283 |
| |
|
Lines changed: 6 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
386 | 386 |
| |
387 | 387 |
| |
388 | 388 |
| |
389 |
| - | |
390 |
| - | |
391 |
| - | |
392 |
| - | |
393 |
| - | |
394 |
| - | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
395 | 395 |
| |
396 | 396 |
| |
397 | 397 |
| |
| |||
452 | 452 |
| |
453 | 453 |
| |
454 | 454 |
| |
455 |
| - | |
456 | 455 |
| |
457 | 456 |
| |
458 | 457 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
361 | 361 |
| |
362 | 362 |
| |
363 | 363 |
| |
364 |
| - | |
| 364 | + | |
365 | 365 |
| |
366 | 366 |
| |
367 | 367 |
| |
| |||
489 | 489 |
| |
490 | 490 |
| |
491 | 491 |
| |
492 |
| - | |
| 492 | + | |
493 | 493 |
| |
494 | 494 |
| |
495 | 495 |
| |
|
Lines changed: 3 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
173 | 173 |
| |
174 | 174 |
| |
175 | 175 |
| |
176 |
| - | |
177 |
| - | |
178 |
| - | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
179 | 179 |
| |
180 | 180 |
| |
181 | 181 |
| |
|
Lines changed: 11 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
119 | 119 |
| |
120 | 120 |
| |
121 | 121 |
| |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
126 | 126 |
| |
127 |
| - | |
| 127 | + | |
128 | 128 |
| |
129 | 129 |
| |
130 | 130 |
| |
131 | 131 |
| |
132 |
| - | |
| 132 | + | |
133 | 133 |
| |
134 | 134 |
| |
135 | 135 |
| |
| |||
513 | 513 |
| |
514 | 514 |
| |
515 | 515 |
| |
516 |
| - | |
| 516 | + | |
| 517 | + | |
| 518 | + | |
517 | 519 |
| |
518 | 520 |
| |
519 | 521 |
| |
| |||
674 | 676 |
| |
675 | 677 |
| |
676 | 678 |
| |
677 |
| - | |
678 |
| - | |
| 679 | + | |
| 680 | + | |
679 | 681 |
| |
680 | 682 |
| |
681 | 683 |
| |
|
0 commit comments