src/test/ui/borrowck/borrowck-reinit.stderr

error[E0382]: use of moved value: `x` (Ast)
  --> $DIR/borrowck-reinit.rs:8:16
   |
LL |     drop(x);
   |          - value moved here
LL |     let _ = (1,x);
   |                ^ value used here after move
   |
   = note: move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait

error[E0382]: use of moved value: `x` (Mir)
  --> $DIR/borrowck-reinit.rs:8:16
   |
LL |     let mut x = Box::new(0);
   |         ----- move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
...
LL |     drop(x);
   |          - value moved here
LL |     let _ = (1,x);
   |                ^ value used here after move

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0382`.