File tree
11 files changed
+198
-53
lines changed- src
- librustc/middle
- infer
- librustc_typeck
- check
- method
11 files changed
+198
-53
lines changedLines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
894 | 894 |
| |
895 | 895 |
| |
896 | 896 |
| |
897 |
| - | |
898 |
| - | |
| 897 | + | |
| 898 | + | |
899 | 899 |
| |
900 | 900 |
| |
901 | 901 |
| |
|
Lines changed: 32 additions & 9 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
40 | 40 |
| |
41 | 41 |
| |
42 | 42 |
| |
| 43 | + | |
43 | 44 |
| |
44 | 45 |
| |
45 | 46 |
| |
| |||
72 | 73 |
| |
73 | 74 |
| |
74 | 75 |
| |
75 |
| - | |
| 76 | + | |
76 | 77 |
| |
77 | 78 |
| |
78 | 79 |
| |
| |||
693 | 694 |
| |
694 | 695 |
| |
695 | 696 |
| |
696 |
| - | |
| 697 | + | |
697 | 698 |
| |
698 | 699 |
| |
699 | 700 |
| |
| |||
1048 | 1049 |
| |
1049 | 1050 |
| |
1050 | 1051 |
| |
| 1052 | + | |
| 1053 | + | |
1051 | 1054 |
| |
1052 | 1055 |
| |
| 1056 | + | |
| 1057 | + | |
| 1058 | + | |
| 1059 | + | |
| 1060 | + | |
| 1061 | + | |
| 1062 | + | |
| 1063 | + | |
| 1064 | + | |
| 1065 | + | |
| 1066 | + | |
| 1067 | + | |
| 1068 | + | |
| 1069 | + | |
| 1070 | + | |
| 1071 | + | |
| 1072 | + | |
1053 | 1073 |
| |
1054 | 1074 |
| |
1055 | 1075 |
| |
1056 | 1076 |
| |
1057 | 1077 |
| |
1058 | 1078 |
| |
1059 |
| - | |
| 1079 | + | |
| 1080 | + | |
| 1081 | + | |
1060 | 1082 |
| |
1061 | 1083 |
| |
1062 | 1084 |
| |
| |||
1078 | 1100 |
| |
1079 | 1101 |
| |
1080 | 1102 |
| |
1081 |
| - | |
| 1103 | + | |
| 1104 | + | |
1082 | 1105 |
| |
1083 | 1106 |
| |
1084 | 1107 |
| |
| |||
1103 | 1126 |
| |
1104 | 1127 |
| |
1105 | 1128 |
| |
1106 |
| - | |
| 1129 | + | |
1107 | 1130 |
| |
1108 | 1131 |
| |
1109 | 1132 |
| |
| |||
1340 | 1363 |
| |
1341 | 1364 |
| |
1342 | 1365 |
| |
1343 |
| - | |
1344 |
| - | |
| 1366 | + | |
| 1367 | + | |
1345 | 1368 |
| |
1346 | 1369 |
| |
1347 | 1370 |
| |
1348 |
| - | |
1349 |
| - | |
| 1371 | + | |
| 1372 | + | |
1350 | 1373 |
| |
1351 | 1374 |
| |
1352 | 1375 |
| |
|
Lines changed: 8 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
15 | 14 |
| |
| 15 | + | |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
| |||
38 | 39 |
| |
39 | 40 |
| |
40 | 41 |
| |
41 |
| - | |
| 42 | + | |
42 | 43 |
| |
43 |
| - | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
44 | 49 |
| |
45 | 50 |
| |
46 | 51 |
| |
|
Lines changed: 20 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
53 | 53 |
| |
54 | 54 |
| |
55 | 55 |
| |
| 56 | + | |
56 | 57 |
| |
57 | 58 |
| |
58 | 59 |
| |
| |||
1980 | 1981 |
| |
1981 | 1982 |
| |
1982 | 1983 |
| |
1983 |
| - | |
| 1984 | + | |
1984 | 1985 |
| |
1985 | 1986 |
| |
1986 | 1987 |
| |
| |||
5101 | 5102 |
| |
5102 | 5103 |
| |
5103 | 5104 |
| |
5104 |
| - | |
5105 |
| - | |
5106 |
| - | |
| 5105 | + | |
| 5106 | + | |
| 5107 | + | |
5107 | 5108 |
| |
5108 | 5109 |
| |
5109 | 5110 |
| |
| |||
5423 | 5424 |
| |
5424 | 5425 |
| |
5425 | 5426 |
| |
5426 |
| - | |
| 5427 | + | |
5427 | 5428 |
| |
5428 | 5429 |
| |
5429 | 5430 |
| |
| |||
5462 | 5463 |
| |
5463 | 5464 |
| |
5464 | 5465 |
| |
5465 |
| - | |
| 5466 | + | |
| 5467 | + | |
| 5468 | + | |
5466 | 5469 |
| |
5467 |
| - | |
5468 |
| - | |
| 5470 | + | |
| 5471 | + | |
| 5472 | + | |
| 5473 | + | |
| 5474 | + | |
| 5475 | + | |
| 5476 | + | |
| 5477 | + | |
| 5478 | + | |
| 5479 | + | |
| 5480 | + | |
5469 | 5481 |
| |
5470 | 5482 |
| |
5471 | 5483 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
109 | 109 |
| |
110 | 110 |
| |
111 | 111 |
| |
112 |
| - | |
| 112 | + | |
113 | 113 |
| |
114 | 114 |
| |
115 | 115 |
| |
| |||
401 | 401 |
| |
402 | 402 |
| |
403 | 403 |
| |
404 |
| - | |
| 404 | + | |
405 | 405 |
| |
406 | 406 |
| |
407 | 407 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
315 | 315 |
| |
316 | 316 |
| |
317 | 317 |
| |
318 |
| - | |
| 318 | + | |
319 | 319 |
| |
320 | 320 |
| |
321 | 321 |
| |
322 |
| - | |
| 322 | + | |
323 | 323 |
| |
324 | 324 |
| |
325 | 325 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
176 | 176 |
| |
177 | 177 |
| |
178 | 178 |
| |
179 |
| - | |
| 179 | + | |
180 | 180 |
| |
181 | 181 |
| |
182 | 182 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1207 | 1207 |
| |
1208 | 1208 |
| |
1209 | 1209 |
| |
1210 |
| - | |
| 1210 | + | |
1211 | 1211 |
| |
1212 | 1212 |
| |
1213 | 1213 |
| |
|
0 commit comments