This repository was archived by the owner on Apr 5, 2024. It is now read-only.
File tree
27 files changed
+211
-182
lines changed- src
- bin
- tests
- cases
- addition_use
- consts
- func
- infer_regress
- inherent_impls
- regions
- removal_use
- structs
- traits
- ty_alias
- full_cases
27 files changed
+211
-182
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 |
| - | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
|
Lines changed: 3 additions & 4 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 |
| - | |
31 |
| - | |
| 30 | + | |
| 31 | + | |
32 | 32 |
| |
33 | 33 |
| |
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
39 |
| - | |
| 38 | + | |
40 | 39 |
| |
41 | 40 |
| |
42 | 41 |
| |
|
Lines changed: 6 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
8 | 7 |
| |
9 |
| - | |
| 8 | + | |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
| |||
483 | 482 |
| |
484 | 483 |
| |
485 | 484 |
| |
486 |
| - | |
| 485 | + | |
| 486 | + | |
| 487 | + | |
| 488 | + | |
| 489 | + | |
487 | 490 |
| |
488 | 491 |
| |
489 | 492 |
| |
|
Lines changed: 6 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 | 2 |
| |
4 |
| - | |
5 | 3 |
| |
6 | 4 |
| |
7 |
| - | |
| 5 | + | |
| 6 | + | |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
| |
11 |
| - | |
| 10 | + | |
| 11 | + | |
12 | 12 |
| |
13 | 13 |
| |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
17 |
| - | |
18 | 17 |
| |
19 | 18 |
| |
20 | 19 |
| |
| |||
36 | 35 |
| |
37 | 36 |
| |
38 | 37 |
| |
39 |
| - | |
| 38 | + | |
40 | 39 |
| |
41 | 40 |
| |
42 |
| - | |
| 41 | + | |
43 | 42 |
| |
44 | 43 |
| |
45 | 44 |
| |
|
Lines changed: 6 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
3 | 2 |
| |
4 |
| - | |
5 |
| - | |
6 | 3 |
| |
7 | 4 |
| |
8 | 5 |
| |
9 | 6 |
| |
10 |
| - | |
| 7 | + | |
| 8 | + | |
11 | 9 |
| |
12 | 10 |
| |
13 | 11 |
| |
14 |
| - | |
| 12 | + | |
| 13 | + | |
15 | 14 |
| |
16 | 15 |
| |
17 | 16 |
| |
18 | 17 |
| |
19 | 18 |
| |
20 |
| - | |
21 | 19 |
| |
22 | 20 |
| |
23 | 21 |
| |
| |||
38 | 36 |
| |
39 | 37 |
| |
40 | 38 |
| |
41 |
| - | |
| 39 | + | |
42 | 40 |
| |
43 | 41 |
| |
44 | 42 |
| |
| |||
55 | 53 |
| |
56 | 54 |
| |
57 | 55 |
| |
58 |
| - | |
| 56 | + | |
59 | 57 |
| |
60 | 58 |
| |
61 | 59 |
| |
|
Lines changed: 21 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
9 | 9 |
| |
10 | 10 |
| |
11 | 11 |
| |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
22 | 22 |
| |
23 |
| - | |
24 |
| - | |
25 | 23 |
| |
26 | 24 |
| |
27 | 25 |
| |
| |||
306 | 304 |
| |
307 | 305 |
| |
308 | 306 |
| |
309 |
| - | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
| 310 | + | |
| 311 | + | |
310 | 312 |
| |
311 | 313 |
| |
312 | 314 |
| |
313 |
| - | |
| 315 | + | |
| 316 | + | |
| 317 | + | |
| 318 | + | |
| 319 | + | |
314 | 320 |
| |
315 | 321 |
| |
316 | 322 |
| |
| |||
671 | 677 |
| |
672 | 678 |
| |
673 | 679 |
| |
674 |
| - | |
| 680 | + | |
675 | 681 |
| |
676 | 682 |
| |
677 | 683 |
| |
| |||
1219 | 1225 |
| |
1220 | 1226 |
| |
1221 | 1227 |
| |
1222 |
| - | |
| 1228 | + | |
1223 | 1229 |
| |
1224 | 1230 |
| |
1225 | 1231 |
| |
1226 |
| - | |
1227 |
| - | |
1228 |
| - | |
| 1232 | + | |
| 1233 | + | |
| 1234 | + | |
1229 | 1235 |
| |
1230 | 1236 |
| |
1231 | 1237 |
| |
| |||
1257 | 1263 |
| |
1258 | 1264 |
| |
1259 | 1265 |
| |
1260 |
| - | |
| 1266 | + | |
1261 | 1267 |
| |
1262 | 1268 |
| |
1263 | 1269 |
| |
|
Lines changed: 9 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
7 |
| - | |
8 |
| - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
9 | 15 |
| |
10 | 16 |
| |
11 | 17 |
| |
|
Lines changed: 19 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
11 |
| - | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
12 | 14 |
| |
13 | 15 |
| |
14 | 16 |
| |
15 | 17 |
| |
16 |
| - | |
17 | 18 |
| |
18 | 19 |
| |
19 | 20 |
| |
| |||
40 | 41 |
| |
41 | 42 |
| |
42 | 43 |
| |
| 44 | + | |
43 | 45 |
| |
44 | 46 |
| |
45 | 47 |
| |
| |||
111 | 113 |
| |
112 | 114 |
| |
113 | 115 |
| |
114 |
| - | |
| 116 | + | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
115 | 122 |
| |
116 | 123 |
| |
117 | 124 |
| |
118 | 125 |
| |
119 | 126 |
| |
120 | 127 |
| |
121 |
| - | |
| 128 | + | |
122 | 129 |
| |
123 | 130 |
| |
124 | 131 |
| |
| |||
343 | 350 |
| |
344 | 351 |
| |
345 | 352 |
| |
346 |
| - | |
347 |
| - | |
| 353 | + | |
| 354 | + | |
348 | 355 |
| |
349 | 356 |
| |
350 | 357 |
| |
| |||
366 | 373 |
| |
367 | 374 |
| |
368 | 375 |
| |
369 |
| - | |
| 376 | + | |
370 | 377 |
| |
371 | 378 |
| |
372 | 379 |
| |
|
Lines changed: 10 additions & 12 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
13 |
| - | |
14 |
| - | |
15 |
| - | |
16 |
| - | |
17 |
| - | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
18 | 16 |
| |
19 | 17 |
| |
20 | 18 |
| |
| |||
51 | 49 |
| |
52 | 50 |
| |
53 | 51 |
| |
54 |
| - | |
| 52 | + | |
55 | 53 |
| |
56 | 54 |
| |
57 | 55 |
| |
| |||
87 | 85 |
| |
88 | 86 |
| |
89 | 87 |
| |
90 |
| - | |
| 88 | + | |
91 | 89 |
| |
92 | 90 |
| |
93 | 91 |
| |
| |||
132 | 130 |
| |
133 | 131 |
| |
134 | 132 |
| |
135 |
| - | |
| 133 | + | |
136 | 134 |
| |
137 | 135 |
| |
138 | 136 |
| |
|
0 commit comments