error: memory leaked: ALLOC (Rust heap, size: 4, align: 4), allocated here:
  --> tests/fail/memleak.rs:LL:CC
   |
LL |     std::mem::forget(Box::new(42));
   |                      ^^^^^^^^^^^^
   |
   = note: BACKTRACE:
   = note: inside `main` at tests/fail/memleak.rs:LL:CC

note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace

note: set `MIRIFLAGS=-Zmiri-ignore-leaks` to disable this check

error: aborting due to 1 previous error