src/tools/miri/tests/pass/tree_borrows/reserved.stderr

[interior mut + protected] Foreign Read: Re* -> Frz
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| RsM |      └─┬──<TAG=base>
| RsM |        ├─┬──<TAG=x>
| RsM |        │ └─┬──<TAG=caller:x>
| RsCM|        │   └────<TAG=callee:x>
| RsM |        └────<TAG=y, caller:y, callee:y>
──────────────────────────────────────────────────
[interior mut] Foreign Read: Re* -> Re*
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   8
| Act |    └─┬──<TAG=root of the allocation>
| RsM |      └─┬──<TAG=base>
| RsM |        ├────<TAG=x>
| RsM |        └────<TAG=y>
──────────────────────────────────────────────────
[interior mut] Foreign Write: Re* -> Re*
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   8
| Act |    └─┬──<TAG=root of the allocation>
| Act |      └─┬──<TAG=base>
| RsM |        ├────<TAG=x>
| Act |        └────<TAG=y>
──────────────────────────────────────────────────
[protected] Foreign Read: Res -> Frz
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| Rs  |      └─┬──<TAG=base>
| Rs  |        ├─┬──<TAG=x>
| Rs  |        │ └─┬──<TAG=caller:x>
| RsC |        │   └────<TAG=callee:x>
| Rs  |        └────<TAG=y, caller:y, callee:y>
──────────────────────────────────────────────────
[] Foreign Read: Res -> Res
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| Rs  |      └─┬──<TAG=base>
| Rs  |        ├────<TAG=x>
| Rs  |        └────<TAG=y>
──────────────────────────────────────────────────
[] Foreign Write: Res -> Dis
──────────────────────────────────────────────────
Warning: this tree is indicative only. Some tags may have been hidden.
0..   1
| Act |    └─┬──<TAG=root of the allocation>
| Act |      └─┬──<TAG=base>
| Dis |        ├────<TAG=x>
| Act |        └────<TAG=y>
──────────────────────────────────────────────────