--> $DIR/borrowck-pat-at-and-box.rs:21:18
|
LL | let a @ box &b = Box::new(&C);
- | ---------^ ------------ move occurs because value has type `std::boxed::Box<&C>`, which does not implement the `Copy` trait
+ | ---------^ ------------ move occurs because value has type `Box<&C>`, which does not implement the `Copy` trait
| | |
| | value used here after move
| value moved here
--> $DIR/borrowck-pat-at-and-box.rs:24:17
|
LL | let a @ box b = Box::new(C);
- | --------^ ----------- move occurs because value has type `std::boxed::Box<C>`, which does not implement the `Copy` trait
+ | --------^ ----------- move occurs because value has type `Box<C>`, which does not implement the `Copy` trait
| | |
| | value used here after move
| value moved here
--> $DIR/borrowck-pat-at-and-box.rs:34:17
|
LL | match Box::new(C) {
- | ----------- move occurs because value has type `std::boxed::Box<C>`, which does not implement the `Copy` trait
+ | ----------- move occurs because value has type `Box<C>`, which does not implement the `Copy` trait
LL | a @ box b => {}
| --------^
| | |
| | |
| | value used here after move
| value moved here
- | move occurs because value has type `std::boxed::Box<&C>`, which does not implement the `Copy` trait
+ | move occurs because value has type `Box<&C>`, which does not implement the `Copy` trait
error[E0382]: use of moved value
--> $DIR/borrowck-pat-at-and-box.rs:30:19
| | |
| | value used here after move
| value moved here
- | move occurs because value has type `std::boxed::Box<C>`, which does not implement the `Copy` trait
+ | move occurs because value has type `Box<C>`, which does not implement the `Copy` trait
error[E0502]: cannot borrow value as immutable because it is also borrowed as mutable
--> $DIR/borrowck-pat-at-and-box.rs:58:27