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>
| Re*|      └─┬──<TAG=base>
| Re*|        ├─┬──<TAG=x>
| Re*|        │ └─┬──<TAG=caller:x>
| Frz|        │   └────<TAG=callee:x>
| Re*|        └────<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>
| Re*|      └─┬──<TAG=base>
| Re*|        ├────<TAG=x>
| Re*|        └────<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>
| Re*|        ├────<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>
| Res|      └─┬──<TAG=base>
| Res|        ├─┬──<TAG=x>
| Res|        │ └─┬──<TAG=caller:x>
| Frz|        │   └────<TAG=callee:x>
| Res|        └────<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>
| Res|      └─┬──<TAG=base>
| Res|        ├────<TAG=x>
| Res|        └────<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>
──────────────────────────────────────────────────