File tree
21 files changed
+162
-36
lines changed- branches/incoming/src
- librustc/middle
- librustdoc
21 files changed
+162
-36
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
|
Lines changed: 48 additions & 35 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2086 | 2086 |
| |
2087 | 2087 |
| |
2088 | 2088 |
| |
2089 |
| - | |
2090 |
| - | |
2091 |
| - | |
2092 |
| - | |
2093 |
| - | |
| 2089 | + | |
| 2090 | + | |
2094 | 2091 |
| |
2095 | 2092 |
| |
2096 | 2093 |
| |
| |||
2106 | 2103 |
| |
2107 | 2104 |
| |
2108 | 2105 |
| |
2109 |
| - | |
2110 |
| - | |
2111 |
| - | |
2112 |
| - | |
2113 |
| - | |
2114 |
| - | |
2115 |
| - | |
2116 |
| - | |
2117 |
| - | |
2118 |
| - | |
2119 |
| - | |
2120 |
| - | |
2121 |
| - | |
2122 |
| - | |
2123 |
| - | |
2124 |
| - | |
2125 |
| - | |
2126 |
| - | |
2127 |
| - | |
2128 |
| - | |
2129 |
| - | |
| 2106 | + | |
| 2107 | + | |
| 2108 | + | |
| 2109 | + | |
| 2110 | + | |
| 2111 | + | |
| 2112 | + | |
| 2113 | + | |
| 2114 | + | |
| 2115 | + | |
| 2116 | + | |
| 2117 | + | |
| 2118 | + | |
2130 | 2119 |
| |
2131 |
| - | |
2132 | 2120 |
| |
2133 | 2121 |
| |
2134 | 2122 |
| |
| |||
4513 | 4501 |
| |
4514 | 4502 |
| |
4515 | 4503 |
| |
4516 |
| - | |
| 4504 | + | |
| 4505 | + | |
4517 | 4506 |
| |
4518 | 4507 |
| |
4519 | 4508 |
| |
4520 | 4509 |
| |
4521 | 4510 |
| |
4522 | 4511 |
| |
4523 |
| - | |
| 4512 | + | |
| 4513 | + | |
| 4514 | + | |
4524 | 4515 |
| |
4525 | 4516 |
| |
4526 | 4517 |
| |
| |||
4714 | 4705 |
| |
4715 | 4706 |
| |
4716 | 4707 |
| |
4717 |
| - | |
| 4708 | + | |
| 4709 | + | |
| 4710 | + | |
4718 | 4711 |
| |
4719 | 4712 |
| |
4720 | 4713 |
| |
| |||
5110 | 5103 |
| |
5111 | 5104 |
| |
5112 | 5105 |
| |
5113 |
| - | |
| 5106 | + | |
| 5107 | + | |
5114 | 5108 |
| |
5115 | 5109 |
| |
5116 | 5110 |
| |
5117 |
| - | |
| 5111 | + | |
| 5112 | + | |
| 5113 | + | |
5118 | 5114 |
| |
5119 | 5115 |
| |
5120 | 5116 |
| |
| |||
5174 | 5170 |
| |
5175 | 5171 |
| |
5176 | 5172 |
| |
5177 |
| - | |
| 5173 | + | |
| 5174 | + | |
| 5175 | + | |
5178 | 5176 |
| |
5179 | 5177 |
| |
5180 | 5178 |
| |
| |||
5493 | 5491 |
| |
5494 | 5492 |
| |
5495 | 5493 |
| |
5496 |
| - | |
| 5494 | + | |
5497 | 5495 |
| |
5498 | 5496 |
| |
5499 | 5497 |
| |
| |||
5516 | 5514 |
| |
5517 | 5515 |
| |
5518 | 5516 |
| |
5519 |
| - | |
| 5517 | + | |
| 5518 | + | |
| 5519 | + | |
| 5520 | + | |
| 5521 | + | |
| 5522 | + | |
| 5523 | + | |
| 5524 | + | |
| 5525 | + | |
| 5526 | + | |
| 5527 | + | |
| 5528 | + | |
| 5529 | + | |
| 5530 | + | |
| 5531 | + | |
| 5532 | + | |
5520 | 5533 |
| |
5521 | 5534 |
| |
5522 | 5535 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
31 | 31 |
| |
32 | 32 |
| |
33 | 33 |
| |
| 34 | + | |
| 35 | + | |
| 36 | + | |
34 | 37 |
| |
35 | 38 |
| |
36 | 39 |
| |
|
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
310 | 310 |
| |
311 | 311 |
| |
312 | 312 |
| |
| 313 | + | |
| 314 | + | |
| 315 | + | |
| 316 | + | |
| 317 | + | |
313 | 318 |
| |
314 | 319 |
| |
315 | 320 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
100 | 100 |
| |
101 | 101 |
| |
102 | 102 |
| |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
| 108 | + | |
103 | 109 |
| |
104 | 110 |
| |
105 | 111 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
344 | 344 |
| |
345 | 345 |
| |
346 | 346 |
| |
| 347 | + | |
| 348 | + | |
| 349 | + | |
| 350 | + | |
| 351 | + | |
| 352 | + | |
347 | 353 |
| |
348 | 354 |
| |
349 | 355 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
11 | 12 |
| |
| 13 | + | |
| 14 | + | |
12 | 15 |
| |
13 | 16 |
| |
14 | 17 |
| |
|
Lines changed: 9 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
252 | 252 |
| |
253 | 253 |
| |
254 | 254 |
| |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
255 | 264 |
| |
256 | 265 |
| |
257 | 266 |
| |
|
Lines changed: 31 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| 14 | + | |
| 15 | + | |
| 16 | + | |
14 | 17 |
| |
15 | 18 |
| |
| 19 | + | |
16 | 20 |
| |
| 21 | + | |
17 | 22 |
| |
18 | 23 |
| |
19 | 24 |
| |
20 | 25 |
| |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
21 | 30 |
| |
| 31 | + | |
| 32 | + | |
22 | 33 |
| |
| 34 | + | |
| 35 | + | |
23 | 36 |
| |
24 | 37 |
| |
25 | 38 |
| |
| |||
817 | 830 |
| |
818 | 831 |
| |
819 | 832 |
| |
| 833 | + | |
| 834 | + | |
| 835 | + | |
| 836 | + | |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
| 841 | + | |
| 842 | + | |
| 843 | + | |
| 844 | + | |
| 845 | + | |
| 846 | + | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
820 | 851 |
| |
821 | 852 |
| |
822 | 853 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
267 | 267 |
| |
268 | 268 |
| |
269 | 269 |
| |
| 270 | + | |
| 271 | + | |
| 272 | + | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
270 | 276 |
| |
271 | 277 |
| |
272 | 278 |
| |
|
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
183 | 183 |
| |
184 | 184 |
| |
185 | 185 |
| |
| 186 | + | |
| 187 | + | |
| 188 | + | |
| 189 | + | |
| 190 | + | |
| 191 | + | |
186 | 192 |
| |
187 | 193 |
| |
188 | 194 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| 13 | + | |
13 | 14 |
| |
14 | 15 |
| |
15 | 16 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
|
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
71 | 71 |
| |
72 | 72 |
| |
73 | 73 |
| |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
74 | 79 |
| |
75 | 80 |
| |
76 | 81 |
| |
|
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
| 21 | + | |
21 | 22 |
| |
22 | 23 |
| |
23 | 24 |
| |
| |||
75 | 76 |
| |
76 | 77 |
| |
77 | 78 |
| |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
78 | 83 |
| |
79 | 84 |
| |
80 | 85 |
| |
|
Lines changed: 3 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| 14 | + | |
14 | 15 |
| |
15 | 16 |
| |
| 17 | + | |
16 | 18 |
| |
17 | 19 |
| |
18 | 20 |
| |
19 | 21 |
| |
| 22 | + | |
20 | 23 |
| |
21 | 24 |
| |
22 | 25 |
| |
|
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
| 16 | + | |
16 | 17 |
| |
17 | 18 |
| |
18 | 19 |
| |
|
0 commit comments