File tree
12 files changed
+63
-31
lines changed- compiler
- rustc_borrowck/src
- diagnostics
- type_check
- rustc_middle/src
- mir
- ty
- rustc_trait_selection/src/traits
- select
12 files changed
+63
-31
lines changedLines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
400 | 400 |
| |
401 | 401 |
| |
402 | 402 |
| |
| 403 | + | |
| 404 | + | |
| 405 | + | |
| 406 | + | |
403 | 407 |
| |
404 | 408 |
| |
405 | 409 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
243 | 243 |
| |
244 | 244 |
| |
245 | 245 |
| |
246 |
| - | |
| 246 | + | |
247 | 247 |
| |
248 | 248 |
| |
249 |
| - | |
| 249 | + | |
250 | 250 |
| |
251 | 251 |
| |
252 | 252 |
| |
|
Lines changed: 9 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
556 | 556 |
| |
557 | 557 |
| |
558 | 558 |
| |
559 |
| - | |
| 559 | + | |
560 | 560 |
| |
561 | 561 |
| |
562 | 562 |
| |
| |||
735 | 735 |
| |
736 | 736 |
| |
737 | 737 |
| |
738 |
| - | |
| 738 | + | |
739 | 739 |
| |
740 | 740 |
| |
741 | 741 |
| |
| |||
802 | 802 |
| |
803 | 803 |
| |
804 | 804 |
| |
| 805 | + | |
805 | 806 |
| |
806 |
| - | |
807 |
| - | |
| 807 | + | |
| 808 | + | |
808 | 809 |
| |
809 | 810 |
| |
810 | 811 |
| |
| |||
822 | 823 |
| |
823 | 824 |
| |
824 | 825 |
| |
825 |
| - | |
826 |
| - | |
| 826 | + | |
| 827 | + | |
| 828 | + | |
827 | 829 |
| |
828 | 830 |
| |
829 | 831 |
| |
| |||
863 | 865 |
| |
864 | 866 |
| |
865 | 867 |
| |
866 |
| - | |
| 868 | + | |
867 | 869 |
| |
868 | 870 |
| |
869 | 871 |
| |
|
Lines changed: 19 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 |
| - | |
16 |
| - | |
17 | 15 |
| |
18 | 16 |
| |
19 | 17 |
| |
20 | 18 |
| |
21 |
| - | |
| 19 | + | |
22 | 20 |
| |
23 | 21 |
| |
24 | 22 |
| |
25 | 23 |
| |
26 |
| - | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
27 | 32 |
| |
28 | 33 |
| |
29 | 34 |
| |
| |||
35 | 40 |
| |
36 | 41 |
| |
37 | 42 |
| |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
38 | 51 |
| |
39 |
| - | |
40 |
| - | |
41 |
| - | |
42 |
| - | |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
| 52 | + | |
47 | 53 |
| |
48 | 54 |
| |
49 | 55 |
| |
| |||
103 | 109 |
| |
104 | 110 |
| |
105 | 111 |
| |
106 |
| - | |
| 112 | + | |
107 | 113 |
| |
108 | 114 |
| |
109 | 115 |
| |
|
Lines changed: 1 addition & 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 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
214 | 214 |
| |
215 | 215 |
| |
216 | 216 |
| |
217 |
| - | |
| 217 | + | |
218 | 218 |
| |
219 | 219 |
| |
220 | 220 |
| |
|
Lines changed: 2 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1403 | 1403 |
| |
1404 | 1404 |
| |
1405 | 1405 |
| |
1406 |
| - | |
| 1406 | + | |
| 1407 | + | |
1407 | 1408 |
| |
1408 | 1409 |
| |
1409 | 1410 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
903 | 903 |
| |
904 | 904 |
| |
905 | 905 |
| |
906 |
| - | |
| 906 | + | |
| 907 | + | |
907 | 908 |
| |
908 | 909 |
| |
909 | 910 |
| |
| |||
952 | 953 |
| |
953 | 954 |
| |
954 | 955 |
| |
955 |
| - | |
| 956 | + | |
| 957 | + | |
956 | 958 |
| |
957 | 959 |
| |
958 | 960 |
| |
|
Lines changed: 15 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1905 | 1905 |
| |
1906 | 1906 |
| |
1907 | 1907 |
| |
| 1908 | + | |
| 1909 | + | |
| 1910 | + | |
| 1911 | + | |
| 1912 | + | |
| 1913 | + | |
| 1914 | + | |
| 1915 | + | |
1908 | 1916 |
| |
1909 | 1917 |
| |
1910 | 1918 |
| |
| |||
2196 | 2204 |
| |
2197 | 2205 |
| |
2198 | 2206 |
| |
| 2207 | + | |
| 2208 | + | |
| 2209 | + | |
| 2210 | + | |
| 2211 | + | |
| 2212 | + | |
| 2213 | + | |
2199 | 2214 |
| |
2200 | 2215 |
| |
2201 | 2216 |
| |
|
Lines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
712 | 712 |
| |
713 | 713 |
| |
714 | 714 |
| |
715 |
| - | |
| 715 | + | |
| 716 | + | |
716 | 717 |
| |
717 | 718 |
| |
718 | 719 |
| |
| |||
1026 | 1027 |
| |
1027 | 1028 |
| |
1028 | 1029 |
| |
1029 |
| - | |
| 1030 | + | |
| 1031 | + | |
1030 | 1032 |
| |
1031 | 1033 |
| |
1032 | 1034 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1998 | 1998 |
| |
1999 | 1999 |
| |
2000 | 2000 |
| |
2001 |
| - | |
| 2001 | + | |
2002 | 2002 |
| |
2003 | 2003 |
| |
2004 | 2004 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
211 | 211 |
| |
212 | 212 |
| |
213 | 213 |
| |
214 |
| - | |
| 214 | + | |
215 | 215 |
| |
216 | 216 |
| |
217 | 217 |
| |
|
0 commit comments