File tree
8 files changed
+180
-21
lines changed- crates/hir-ty
- src
- consteval
- tests
- mir
- eval
- shim
8 files changed
+180
-21
lines changedLines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
| 22 | + | |
22 | 23 |
| |
23 | 24 |
| |
24 | 25 |
| |
|
Lines changed: 22 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2494 | 2494 |
| |
2495 | 2495 |
| |
2496 | 2496 |
| |
| 2497 | + | |
| 2498 | + | |
| 2499 | + | |
| 2500 | + | |
| 2501 | + | |
| 2502 | + | |
| 2503 | + | |
| 2504 | + | |
| 2505 | + | |
| 2506 | + | |
| 2507 | + | |
| 2508 | + | |
| 2509 | + | |
| 2510 | + | |
| 2511 | + | |
| 2512 | + | |
| 2513 | + | |
| 2514 | + | |
| 2515 | + | |
| 2516 | + | |
| 2517 | + | |
| 2518 | + | |
2497 | 2519 |
| |
2498 | 2520 |
| |
2499 | 2521 |
| |
|
Lines changed: 38 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
602 | 602 |
| |
603 | 603 |
| |
604 | 604 |
| |
| 605 | + | |
| 606 | + | |
| 607 | + | |
| 608 | + | |
| 609 | + | |
| 610 | + | |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
| 623 | + | |
| 624 | + | |
| 625 | + | |
| 626 | + | |
| 627 | + | |
| 628 | + | |
| 629 | + | |
| 630 | + | |
| 631 | + | |
| 632 | + | |
| 633 | + | |
| 634 | + | |
| 635 | + | |
| 636 | + | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + |
Lines changed: 27 additions & 11 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
137 | 137 |
| |
138 | 138 |
| |
139 | 139 |
| |
| 140 | + | |
140 | 141 |
| |
141 | 142 |
| |
142 | 143 |
| |
| |||
147 | 148 |
| |
148 | 149 |
| |
149 | 150 |
| |
| 151 | + | |
| 152 | + | |
150 | 153 |
| |
151 | 154 |
| |
152 | 155 |
| |
| |||
520 | 523 |
| |
521 | 524 |
| |
522 | 525 |
| |
| 526 | + | |
523 | 527 |
| |
524 | 528 |
| |
525 | 529 |
| |
526 | 530 |
| |
527 | 531 |
| |
528 | 532 |
| |
529 | 533 |
| |
| 534 | + | |
530 | 535 |
| |
531 | 536 |
| |
532 | 537 |
| |
| |||
938 | 943 |
| |
939 | 944 |
| |
940 | 945 |
| |
| 946 | + | |
| 947 | + | |
| 948 | + | |
| 949 | + | |
| 950 | + | |
941 | 951 |
| |
942 | 952 |
| |
943 | 953 |
| |
| |||
1180 | 1190 |
| |
1181 | 1191 |
| |
1182 | 1192 |
| |
1183 |
| - | |
| 1193 | + | |
1184 | 1194 |
| |
1185 | 1195 |
| |
1186 | 1196 |
| |
| |||
1565 | 1575 |
| |
1566 | 1576 |
| |
1567 | 1577 |
| |
1568 |
| - | |
| 1578 | + | |
1569 | 1579 |
| |
1570 | 1580 |
| |
1571 | 1581 |
| |
| |||
1580 | 1590 |
| |
1581 | 1591 |
| |
1582 | 1592 |
| |
1583 |
| - | |
| 1593 | + | |
1584 | 1594 |
| |
1585 | 1595 |
| |
1586 | 1596 |
| |
| |||
1683 | 1693 |
| |
1684 | 1694 |
| |
1685 | 1695 |
| |
1686 |
| - | |
| 1696 | + | |
| 1697 | + | |
| 1698 | + | |
| 1699 | + | |
1687 | 1700 |
| |
1688 | 1701 |
| |
1689 | 1702 |
| |
| 1703 | + | |
| 1704 | + | |
| 1705 | + | |
1690 | 1706 |
| |
1691 | 1707 |
| |
1692 |
| - | |
| 1708 | + | |
1693 | 1709 |
| |
1694 | 1710 |
| |
1695 | 1711 |
| |
| |||
2200 | 2216 |
| |
2201 | 2217 |
| |
2202 | 2218 |
| |
2203 |
| - | |
| 2219 | + | |
2204 | 2220 |
| |
2205 | 2221 |
| |
2206 | 2222 |
| |
| |||
2235 | 2251 |
| |
2236 | 2252 |
| |
2237 | 2253 |
| |
2238 |
| - | |
| 2254 | + | |
2239 | 2255 |
| |
2240 | 2256 |
| |
2241 |
| - | |
| 2257 | + | |
2242 | 2258 |
| |
2243 | 2259 |
| |
2244 | 2260 |
| |
| |||
2398 | 2414 |
| |
2399 | 2415 |
| |
2400 | 2416 |
| |
2401 |
| - | |
| 2417 | + | |
2402 | 2418 |
| |
2403 | 2419 |
| |
2404 | 2420 |
| |
2405 |
| - | |
| 2421 | + | |
2406 | 2422 |
| |
2407 | 2423 |
| |
2408 | 2424 |
| |
| |||
2412 | 2428 |
| |
2413 | 2429 |
| |
2414 | 2430 |
| |
2415 |
| - | |
| 2431 | + | |
2416 | 2432 |
| |
2417 | 2433 |
| |
2418 | 2434 |
| |
|
Lines changed: 40 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
140 | 140 |
| |
141 | 141 |
| |
142 | 142 |
| |
143 |
| - | |
| 143 | + | |
144 | 144 |
| |
145 | 145 |
| |
146 | 146 |
| |
| |||
155 | 155 |
| |
156 | 156 |
| |
157 | 157 |
| |
158 |
| - | |
| 158 | + | |
159 | 159 |
| |
160 | 160 |
| |
161 | 161 |
| |
| |||
239 | 239 |
| |
240 | 240 |
| |
241 | 241 |
| |
| 242 | + | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
242 | 270 |
| |
243 | 271 |
| |
244 | 272 |
| |
245 | 273 |
| |
246 | 274 |
| |
247 | 275 |
| |
248 | 276 |
| |
249 |
| - | |
| 277 | + | |
250 | 278 |
| |
251 | 279 |
| |
252 | 280 |
| |
| |||
343 | 371 |
| |
344 | 372 |
| |
345 | 373 |
| |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
346 | 383 |
| |
347 | 384 |
| |
348 | 385 |
| |
|
Lines changed: 23 additions & 7 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
22 | 22 |
| |
23 | 23 |
| |
24 | 24 |
| |
25 |
| - | |
| 25 | + | |
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
32 | 32 |
| |
33 |
| - | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
34 | 42 |
| |
35 | 43 |
| |
36 | 44 |
| |
37 | 45 |
| |
38 | 46 |
| |
39 |
| - | |
| 47 | + | |
40 | 48 |
| |
41 | 49 |
| |
42 | 50 |
| |
| |||
75 | 83 |
| |
76 | 84 |
| |
77 | 85 |
| |
78 |
| - | |
| 86 | + | |
| 87 | + | |
79 | 88 |
| |
80 | 89 |
| |
81 | 90 |
| |
| |||
89 | 98 |
| |
90 | 99 |
| |
91 | 100 |
| |
| 101 | + | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
92 | 108 |
| |
93 | 109 |
| |
94 | 110 |
| |
| |||
102 | 118 |
| |
103 | 119 |
| |
104 | 120 |
| |
105 |
| - | |
| 121 | + | |
106 | 122 |
| |
107 |
| - | |
| 123 | + | |
108 | 124 |
| |
109 | 125 |
| |
110 | 126 |
| |
| |||
131 | 147 |
| |
132 | 148 |
| |
133 | 149 |
| |
134 |
| - | |
| 150 | + | |
135 | 151 |
| |
136 | 152 |
| |
137 | 153 |
| |
|
0 commit comments