error: compilation successful
  --> $DIR/borrowck-box-insensitivity.rs:160:1
   |
LL | / fn main() { //[mir]~ ERROR compilation successful
LL | |     copy_after_move();
LL | |     move_after_move();
LL | |     borrow_after_move();
...  |
LL | |     mut_borrow_after_borrow_nested();
LL | | }
   | |_^

error: aborting due to previous error