File tree
13 files changed
+122
-43
lines changed- compiler
- rustc_infer/src/infer
- nll_relate
- rustc_middle/src/ty
- rustc_trait_selection/src
- solve
- traits
- rustc_traits/src/chalk
13 files changed
+122
-43
lines changedLines changed: 1 addition & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
113 | 113 |
| |
114 | 114 |
| |
115 | 115 |
| |
116 |
| - | |
117 |
| - | |
118 |
| - | |
119 |
| - | |
| 116 | + | |
120 | 117 |
| |
121 | 118 |
| |
122 | 119 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
104 | 104 |
| |
105 | 105 |
| |
106 | 106 |
| |
107 |
| - | |
| 107 | + | |
| 108 | + | |
108 | 109 |
| |
109 | 110 |
| |
110 | 111 |
| |
|
Lines changed: 4 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
108 | 108 |
| |
109 | 109 |
| |
110 | 110 |
| |
| 111 | + | |
111 | 112 |
| |
112 | 113 |
| |
113 |
| - | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
114 | 117 |
| |
115 | 118 |
| |
116 | 119 |
| |
|
Lines changed: 14 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
491 | 491 |
| |
492 | 492 |
| |
493 | 493 |
| |
494 |
| - | |
495 |
| - | |
496 |
| - | |
497 |
| - | |
498 |
| - | |
499 |
| - | |
500 |
| - | |
| 494 | + | |
| 495 | + | |
| 496 | + | |
| 497 | + | |
| 498 | + | |
| 499 | + | |
| 500 | + | |
| 501 | + | |
| 502 | + | |
| 503 | + | |
| 504 | + | |
| 505 | + | |
| 506 | + | |
501 | 507 |
| |
502 | 508 |
| |
503 |
| - | |
| 509 | + | |
504 | 510 |
| |
505 | 511 |
| |
506 | 512 |
| |
|
Lines changed: 34 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
5 |
| - | |
| 5 | + | |
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
| |||
48 | 48 |
| |
49 | 49 |
| |
50 | 50 |
| |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
51 | 56 |
| |
52 | 57 |
| |
53 | 58 |
| |
| 59 | + | |
54 | 60 |
| |
55 | 61 |
| |
56 | 62 |
| |
| |||
521 | 527 |
| |
522 | 528 |
| |
523 | 529 |
| |
524 |
| - | |
525 |
| - | |
526 |
| - | |
527 | 530 |
| |
528 | 531 |
| |
529 | 532 |
| |
530 | 533 |
| |
531 | 534 |
| |
532 | 535 |
| |
533 | 536 |
| |
534 |
| - | |
| 537 | + | |
535 | 538 |
| |
536 | 539 |
| |
537 | 540 |
| |
| |||
543 | 546 |
| |
544 | 547 |
| |
545 | 548 |
| |
| 549 | + | |
| 550 | + | |
| 551 | + | |
| 552 | + | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
| 556 | + | |
| 557 | + | |
| 558 | + | |
| 559 | + | |
| 560 | + | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
546 | 569 |
| |
547 | 570 |
| |
548 | 571 |
| |
| |||
555 | 578 |
| |
556 | 579 |
| |
557 | 580 |
| |
558 |
| - | |
| 581 | + | |
| 582 | + | |
559 | 583 |
| |
560 | 584 |
| |
561 | 585 |
| |
562 | 586 |
| |
563 | 587 |
| |
564 | 588 |
| |
565 |
| - | |
| 589 | + | |
566 | 590 |
| |
567 | 591 |
| |
568 | 592 |
| |
| |||
588 | 612 |
| |
589 | 613 |
| |
590 | 614 |
| |
591 |
| - | |
592 |
| - | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
593 | 618 |
| |
594 |
| - | |
595 | 619 |
| |
596 | 620 |
| |
597 | 621 |
| |
| |||
602 | 626 |
| |
603 | 627 |
| |
604 | 628 |
| |
605 |
| - | |
606 | 629 |
| |
607 | 630 |
| |
608 | 631 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
131 | 131 |
| |
132 | 132 |
| |
133 | 133 |
| |
134 |
| - | |
| 134 | + | |
| 135 | + | |
135 | 136 |
| |
136 | 137 |
| |
137 | 138 |
| |
|
Lines changed: 4 additions & 10 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
996 | 996 |
| |
997 | 997 |
| |
998 | 998 |
| |
999 |
| - | |
1000 |
| - | |
1001 |
| - | |
1002 |
| - | |
1003 |
| - | |
| 999 | + | |
| 1000 | + | |
1004 | 1001 |
| |
1005 |
| - | |
1006 |
| - | |
1007 |
| - | |
1008 |
| - | |
1009 |
| - | |
| 1002 | + | |
| 1003 | + | |
1010 | 1004 |
| |
1011 | 1005 |
| |
1012 | 1006 |
| |
|
Lines changed: 3 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
133 | 133 |
| |
134 | 134 |
| |
135 | 135 |
| |
136 |
| - | |
137 | 136 |
| |
138 | 137 |
| |
139 | 138 |
| |
140 | 139 |
| |
141 | 140 |
| |
| 141 | + | |
| 142 | + | |
| 143 | + | |
142 | 144 |
| |
143 | 145 |
| |
144 | 146 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
24 | 24 |
| |
25 | 25 |
| |
26 | 26 |
| |
| 27 | + | |
27 | 28 |
| |
28 | 29 |
| |
29 | 30 |
| |
| |||
212 | 213 |
| |
213 | 214 |
| |
214 | 215 |
| |
215 |
| - | |
| 216 | + | |
216 | 217 |
| |
217 | 218 |
| |
218 | 219 |
| |
|
Lines changed: 44 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 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + |
Lines changed: 7 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
34 |
| - | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
35 | 40 |
| |
36 | 41 |
| |
37 | 42 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
834 | 834 |
| |
835 | 835 |
| |
836 | 836 |
| |
837 |
| - | |
838 |
| - | |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
839 | 841 |
| |
840 | 842 |
| |
841 | 843 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
679 | 679 |
| |
680 | 680 |
| |
681 | 681 |
| |
682 |
| - | |
| 682 | + | |
683 | 683 |
| |
684 | 684 |
| |
685 | 685 |
| |
|
0 commit comments