src/tools/miri/tests/pass/alloc-access-tracking.stderr

note: now tracking allocation ALLOC of 123 bytes (alignment ALIGN bytes)
  --> tests/pass/alloc-access-tracking.rs:LL:CC
   |
LL |         utils::miri_track_alloc(ptr);
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tracking was triggered here

note: write access at ALLOC[0x0..0x1]
  --> tests/pass/alloc-access-tracking.rs:LL:CC
   |
LL |         *ptr = 42; // Crucially, only a write is printed here, no read!
   |         ^^^^^^^^^ tracking was triggered here

note: read access at ALLOC[0x0..0x1]
  --> tests/pass/alloc-access-tracking.rs:LL:CC
   |
LL |         assert_eq!(*ptr, 42);
   |         ^^^^^^^^^^^^^^^^^^^^ tracking was triggered here

note: freed allocation ALLOC
  --> RUSTLIB/alloc/src/boxed.rs:LL:CC
   |
LL |                 self.1.deallocate(From::from(ptr.cast()), layout);
   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tracking was triggered here
   |
   = note: stack backtrace:
           0: <std::boxed::Box<std::mem::MaybeUninit<[u8; 123]>> as std::ops::Drop>::drop
               at RUSTLIB/alloc/src/boxed.rs:LL:CC
           1: std::ptr::drop_in_place))
               at RUSTLIB/core/src/ptr/mod.rs:LL:CC
           2: main
               at tests/pass/alloc-access-tracking.rs:LL:CC