src/tools/miri/tests/pass/tree_borrows/cell-alternate-writes.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| ReIM|      └─┬──<TAG=data>
|?Cel |        ├────<TAG=x>
|?Cel |        └────<TAG=y>
──────────────────────────────────────────────────
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| Act |      └─┬──<TAG=data>
| Cel |        ├────<TAG=x>
| Cel |        └────<TAG=y>
──────────────────────────────────────────────────