File tree
6 files changed
+59
-39
lines changed- src
- alloc_addresses
- borrow_tracker
- stacked_borrows
- tree_borrows
- tests/pass
- intrinsics
6 files changed
+59
-39
lines changedLines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + |
Lines changed: 34 additions & 24 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
116 | 116 |
| |
117 | 117 |
| |
118 | 118 |
| |
119 |
| - | |
120 |
| - | |
121 |
| - | |
122 |
| - | |
123 |
| - | |
124 |
| - | |
125 |
| - | |
126 |
| - | |
127 | 119 |
| |
128 | 120 |
| |
129 | 121 |
| |
130 | 122 |
| |
131 | 123 |
| |
132 | 124 |
| |
133 | 125 |
| |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
134 | 139 |
| |
135 | 140 |
| |
136 | 141 |
| |
| |||
157 | 162 |
| |
158 | 163 |
| |
159 | 164 |
| |
160 |
| - | |
| 165 | + | |
161 | 166 |
| |
162 | 167 |
| |
163 | 168 |
| |
| |||
169 | 174 |
| |
170 | 175 |
| |
171 | 176 |
| |
172 |
| - | |
| 177 | + | |
173 | 178 |
| |
174 | 179 |
| |
175 | 180 |
| |
176 | 181 |
| |
177 | 182 |
| |
| 183 | + | |
178 | 184 |
| |
179 | 185 |
| |
180 | 186 |
| |
| |||
295 | 301 |
| |
296 | 302 |
| |
297 | 303 |
| |
298 |
| - | |
299 |
| - | |
300 |
| - | |
301 |
| - | |
302 |
| - | |
303 |
| - | |
304 |
| - | |
305 |
| - | |
306 |
| - | |
307 |
| - | |
| 304 | + | |
| 305 | + | |
| 306 | + | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
308 | 310 |
| |
309 |
| - | |
310 |
| - | |
311 |
| - | |
312 |
| - | |
| 311 | + | |
| 312 | + | |
| 313 | + | |
| 314 | + | |
| 315 | + | |
| 316 | + | |
| 317 | + | |
| 318 | + | |
| 319 | + | |
| 320 | + | |
| 321 | + | |
| 322 | + | |
313 | 323 |
| |
314 | 324 |
| |
315 | 325 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
650 | 650 |
| |
651 | 651 |
| |
652 | 652 |
| |
653 |
| - | |
| 653 | + | |
654 | 654 |
| |
655 | 655 |
| |
656 | 656 |
| |
| |||
1021 | 1021 |
| |
1022 | 1022 |
| |
1023 | 1023 |
| |
1024 |
| - | |
| 1024 | + | |
1025 | 1025 |
| |
1026 | 1026 |
| |
1027 | 1027 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
673 | 673 |
| |
674 | 674 |
| |
675 | 675 |
| |
676 |
| - | |
| 676 | + | |
677 | 677 |
| |
678 | 678 |
| |
679 | 679 |
| |
|
Lines changed: 7 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
2 | 6 |
| |
3 | 7 |
| |
4 | 8 |
| |
5 | 9 |
| |
6 |
| - | |
| 10 | + | |
7 | 11 |
| |
8 | 12 |
| |
9 |
| - | |
| 13 | + | |
10 | 14 |
| |
11 | 15 |
| |
12 |
| - | |
| 16 | + | |
13 | 17 |
| |
14 | 18 |
| |
15 | 19 |
| |
|
Lines changed: 14 additions & 8 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
349 | 349 |
| |
350 | 350 |
| |
351 | 351 |
| |
352 |
| - | |
| 352 | + | |
353 | 353 |
| |
354 | 354 |
| |
355 | 355 |
| |
356 | 356 |
| |
357 | 357 |
| |
| 358 | + | |
| 359 | + | |
| 360 | + | |
358 | 361 |
| |
359 | 362 |
| |
360 | 363 |
| |
| |||
377 | 380 |
| |
378 | 381 |
| |
379 | 382 |
| |
380 |
| - | |
381 |
| - | |
| 383 | + | |
| 384 | + | |
382 | 385 |
| |
383 | 386 |
| |
384 | 387 |
| |
385 | 388 |
| |
386 | 389 |
| |
387 |
| - | |
| 390 | + | |
388 | 391 |
| |
389 | 392 |
| |
390 | 393 |
| |
391 | 394 |
| |
392 | 395 |
| |
| 396 | + | |
| 397 | + | |
| 398 | + | |
393 | 399 |
| |
394 | 400 |
| |
395 | 401 |
| |
| |||
419 | 425 |
| |
420 | 426 |
| |
421 | 427 |
| |
422 |
| - | |
423 |
| - | |
| 428 | + | |
| 429 | + | |
424 | 430 |
| |
425 | 431 |
| |
426 | 432 |
| |
| |||
708 | 714 |
| |
709 | 715 |
| |
710 | 716 |
| |
711 |
| - | |
| 717 | + | |
712 | 718 |
| |
713 | 719 |
| |
714 | 720 |
| |
715 | 721 |
| |
716 |
| - | |
| 722 | + | |
717 | 723 |
| |
718 | 724 |
| |
719 | 725 |
| |
|
0 commit comments