This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree
8 files changed
+180
-21
lines changed- crates/hir-ty
- src
- consteval
- tests
- mir
- eval
- shim
8 files changed
+180
-21
lines changedSome generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| 22 | + | |
22 | 23 | | |
23 | 24 | | |
24 | 25 | | |
| |||
| 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 | | |
| |||
| 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 | + | |
| 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 | | |
| |||
| 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 | | |
| |||
| 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