bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make ui/unop-move-semantics.rs robust w.r.t. NLL.

Browse source
This commit is contained in:
Felix S. Klock II 2018-11-05 14:36:58 +01:00
parent 9843a38632
commit 41a1ee923e
2 changed files with 30 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

27
src/test/ui/unop-move-semantics.nll.stderr
View file

@ -9,6 +9,29 @@ LL | x.clone(); //~ ERROR: use of moved value
| |
= note: move occurs because `x` has type `T`, which does not implement the `Copy` trait = note: move occurs because `x` has type `T`, which does not implement the `Copy` trait
error[E0505]: cannot move out of `x` because it is borrowed
--> $DIR/unop-move-semantics.rs:25:6
|
LL | let m = &x;
| -- borrow of `x` occurs here
...
LL | !x; //~ ERROR: cannot move out of `x` because it is borrowed
| ^ move out of `x` occurs here
...
LL | use_mut(n); use_imm(m);
| - borrow later used here
error[E0505]: cannot move out of `y` because it is borrowed
--> $DIR/unop-move-semantics.rs:27:6
|
LL | let n = &mut y;
| ------ borrow of `y` occurs here
...
LL | !y; //~ ERROR: cannot move out of `y` because it is borrowed
| ^ move out of `y` occurs here
LL | use_mut(n); use_imm(m);
| - borrow later used here
error[E0507]: cannot move out of borrowed content error[E0507]: cannot move out of borrowed content
--> $DIR/unop-move-semantics.rs:34:6 --> $DIR/unop-move-semantics.rs:34:6
| |
@ -21,7 +44,7 @@ error[E0507]: cannot move out of borrowed content
LL | !*n; //~ ERROR: cannot move out of borrowed content LL | !*n; //~ ERROR: cannot move out of borrowed content
| ^^ cannot move out of borrowed content | ^^ cannot move out of borrowed content
error: aborting due to 3 previous errors error: aborting due to 5 previous errors
Some errors occurred: E0382, E0507. Some errors occurred: E0382, E0505, E0507.
For more information about an error, try `rustc --explain E0382`. For more information about an error, try `rustc --explain E0382`.

7
src/test/ui/unop-move-semantics.rs
View file

@ -25,8 +25,8 @@ fn move_borrowed<T: Not<Output=T>>(x: T, mut y: T) {
!x; //~ ERROR: cannot move out of `x` because it is borrowed !x; //~ ERROR: cannot move out of `x` because it is borrowed
!y; //~ ERROR: cannot move out of `y` because it is borrowed !y; //~ ERROR: cannot move out of `y` because it is borrowed
use_mut(n); use_imm(m);
} }
fn illegal_dereference<T: Not<Output=T>>(mut x: T, y: T) { fn illegal_dereference<T: Not<Output=T>>(mut x: T, y: T) {
let m = &mut x; let m = &mut x;
let n = &y; let n = &y;
@ -34,6 +34,9 @@ fn illegal_dereference<T: Not<Output=T>>(mut x: T, y: T) {
!*m; //~ ERROR: cannot move out of borrowed content !*m; //~ ERROR: cannot move out of borrowed content
!*n; //~ ERROR: cannot move out of borrowed content !*n; //~ ERROR: cannot move out of borrowed content
use_imm(n); use_mut(m);
} }
fn main() {} fn main() {}
fn use_mut<T>(_: &mut T) { }
fn use_imm<T>(_: &T) { }