user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove base_place

Browse source
This commit is contained in:
Matthew Jasper 2018-09-03 21:50:03 +01:00
parent ee73f80dc9
commit faf80ad397
3 changed files with 17 additions and 69 deletions
Download patch file Download diff file Expand all files Collapse all files

33
src/test/ui/borrowck/borrowck-box-insensitivity.nll.stderr
View file

@ -1,25 +1,14 @@
error[E0382]: use of moved value: `a.y`
--> $DIR/borrowck-box-insensitivity.rs:46:14
error: compilation successful
--> $DIR/borrowck-box-insensitivity.rs:160:1
|
LL | let _x = a.x;
| --- value moved here
LL | //~^ value moved here
LL | let _y = a.y; //~ ERROR use of moved
| ^^^ value used here after move
|
= note: move occurs because `a.x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
LL | / fn main() {
LL | | copy_after_move();
LL | | move_after_move();
LL | | borrow_after_move();
... |
LL | | mut_borrow_after_borrow_nested();
LL | | }
| |_^
error[E0382]: use of moved value: `a.y`
--> $DIR/borrowck-box-insensitivity.rs:108:14
|
LL | let _x = a.x.x;
| ----- value moved here
LL | //~^ value moved here
LL | let _y = a.y; //~ ERROR use of collaterally moved
| ^^^ value used here after move
|
= note: move occurs because `a.x.x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
error: aborting due to previous error
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0382`.

3
src/test/ui/borrowck/borrowck-box-insensitivity.rs
View file

@ -8,7 +8,7 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.
#![feature(box_syntax)]
#![feature(box_syntax, rustc_attrs)]
struct A {
x: Box<isize>,
@ -156,6 +156,7 @@ fn mut_borrow_after_borrow_nested() {
//~^ mutable borrow occurs here
}
#[rustc_error]
fn main() {
copy_after_move();
move_after_move();