src/tools/miri/tests/fail/generator-pinned-moved.stderr

   1 error: Undefined Behavior: pointer to ALLOC was dereferenced after this allocation got freed
   2   --> $DIR/generator-pinned-moved.rs:LL:CC
   3    |
   4 LL |         *num += 1;
   5    |         ^^^^^^^^^ pointer to ALLOC was dereferenced after this allocation got freed
   6    |
   7    = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior
   8    = help: see https://doc.rust-lang.org/nightly/reference/behavior-considered-undefined.html for further information
   9    = note: BACKTRACE:
  10    = note: inside closure at $DIR/generator-pinned-moved.rs:LL:CC
  11 note: inside `<GeneratorIteratorAdapter<[static generator@$DIR/generator-pinned-moved.rs:LL:CC]> as std::iter::Iterator>::next` at $DIR/generator-pinned-moved.rs:LL:CC
  12   --> $DIR/generator-pinned-moved.rs:LL:CC
  13    |
  14 LL |         match me.resume(()) {
  15    |               ^^^^^^^^^^^^^
  16    = note: inside `<std::boxed::Box<GeneratorIteratorAdapter<[static generator@$DIR/generator-pinned-moved.rs:LL:CC]>> as std::iter::Iterator>::next` at RUSTLIB/alloc/src/boxed.rs:LL:CC
  17 note: inside `main` at $DIR/generator-pinned-moved.rs:LL:CC
  18   --> $DIR/generator-pinned-moved.rs:LL:CC
  19    |
  20 LL |     generator_iterator_2.next(); // and use moved value
  21    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
  22
  23 note: some details are omitted, run with `MIRIFLAGS=-Zmiri-backtrace=full` for a verbose backtrace
  24
  25 error: aborting due to previous error
  26