mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update tests for changes to cannot move errors

Browse Source
This commit is contained in:
Matthew Jasper 2019-05-05 12:02:32 +01:00
parent 9336b3d3d0
commit 8ffa408059
100 changed files with 724 additions and 1261 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/test/ui/access-mode-in-closures.stderr
View File

@ -1,17 +1,12 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `s.0` which is behind a shared reference
--> $DIR/access-mode-in-closures.rs:8:15
|
LL | match *s { S(v) => v }
| ^^ - data moved here
| |
| cannot move out of borrowed content
| ^^ -
| | |
| | data moved here
| | move occurs because `v` has type `std::vec::Vec<isize>`, which does not implement the `Copy` trait
| help: consider removing the `*`: `s`
|
note: move occurs because `v` has type `std::vec::Vec<isize>`, which does not implement the `Copy` trait
--> $DIR/access-mode-in-closures.rs:8:22
|
LL | match *s { S(v) => v }
| ^
error: aborting due to previous error

4
src/test/ui/binop/binop-move-semantics.rs
View File

@ -27,9 +27,9 @@ fn illegal_dereference<T: Add<Output=()>>(mut x: T, y: T) {
let m = &mut x;
let n = &y;
*m //~ ERROR: cannot move out of borrowed content
*m //~ ERROR: cannot move
+
*n; //~ ERROR: cannot move out of borrowed content
*n; //~ ERROR: cannot move
use_imm(n); use_mut(m);
}
struct Foo;

8
src/test/ui/binop/binop-move-semantics.stderr
View File

@ -47,17 +47,17 @@ LL | y;
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 `*m` which is behind a mutable reference
--> $DIR/binop-move-semantics.rs:30:5
|
LL | *m
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*m` has type `T`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*n` which is behind a shared reference
--> $DIR/binop-move-semantics.rs:32:5
|
LL | *n;
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*n` has type `T`, which does not implement the `Copy` trait
error[E0502]: cannot borrow `f` as immutable because it is also borrowed as mutable
--> $DIR/binop-move-semantics.rs:54:5

12
src/test/ui/borrowck/borrowck-feature-nll-overrides-migrate.edition.stderr
View File

@ -1,8 +1,14 @@
error[E0507]: cannot move out of borrowed content
--> $DIR/borrowck-feature-nll-overrides-migrate.rs:22:17
error[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/borrowck-feature-nll-overrides-migrate.rs:22:18
|
LL | (|| { let bar = foo; bar.take() })();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

4
src/test/ui/borrowck/borrowck-feature-nll-overrides-migrate.rs
View File

@ -20,8 +20,8 @@ fn main() {
ref mut foo
if {
(|| { let bar = foo; bar.take() })();
//[zflag]~^ ERROR cannot move out of borrowed content [E0507]
//[edition]~^^ ERROR cannot move out of borrowed content [E0507]
//[zflag]~^ ERROR cannot move out of `foo` in pattern guard [E0507]
//[edition]~^^ ERROR cannot move out of `foo` in pattern guard [E0507]
false
} => {},
Some(ref _s) => println!("Note this arm is bogus; the `Some` became `None` in the guard."),

12
src/test/ui/borrowck/borrowck-feature-nll-overrides-migrate.zflag.stderr
View File

@ -1,8 +1,14 @@
error[E0507]: cannot move out of borrowed content
--> $DIR/borrowck-feature-nll-overrides-migrate.rs:22:17
error[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/borrowck-feature-nll-overrides-migrate.rs:22:18
|
LL | (|| { let bar = foo; bar.take() })();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

2
src/test/ui/borrowck/borrowck-fn-in-const-a.rs
View File

@ -3,7 +3,7 @@
const MOVE: fn(&String) -> String = {
fn broken(x: &String) -> String {
return *x //~ ERROR cannot move out of borrowed content [E0507]
return *x //~ ERROR cannot move
}
broken
};

4
src/test/ui/borrowck/borrowck-fn-in-const-a.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*x` which is behind a shared reference
--> $DIR/borrowck-fn-in-const-a.rs:6:16
|
LL | return *x
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*x` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error

33
src/test/ui/borrowck/borrowck-for-loop-correct-cmt-for-pattern.stderr
View File

@ -1,47 +1,32 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:12:15
|
LL | for &a in x.iter() {
| -- ^^^^^^^^ cannot move out of borrowed content
| -- ^^^^^^^^
| ||
| |data moved here
| |move occurs because `a` has type `&mut i32`, which does not implement the `Copy` trait
| help: consider removing the `&`: `a`
|
note: move occurs because `a` has type `&mut i32`, which does not implement the `Copy` trait
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:12:10
|
LL | for &a in x.iter() {
| ^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:18:15
|
LL | for &a in &f.a {
| -- ^^^^ cannot move out of borrowed content
| -- ^^^^
| ||
| |data moved here
| |move occurs because `a` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider removing the `&`: `a`
|
note: move occurs because `a` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:18:10
|
LL | for &a in &f.a {
| ^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:22:15
|
LL | for &a in x.iter() {
| -- ^^^^^^^^ cannot move out of borrowed content
| -- ^^^^^^^^
| ||
| |data moved here
| |move occurs because `a` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
| help: consider removing the `&`: `a`
|
note: move occurs because `a` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
--> $DIR/borrowck-for-loop-correct-cmt-for-pattern.rs:22:10
|
LL | for &a in x.iter() {
| ^
error: aborting due to 3 previous errors

2
src/test/ui/borrowck/borrowck-in-static.rs
View File

@ -2,7 +2,7 @@
static FN : &'static (dyn Fn() -> (Box<dyn Fn()->Box<i32>>) + Sync) = &|| {
let x = Box::new(0);
Box::new(|| x) //~ ERROR cannot move out of captured variable in an `Fn` closure
Box::new(|| x) //~ ERROR cannot move out of `x`, a captured variable in an `Fn` closure
};
fn main() {

4
src/test/ui/borrowck/borrowck-in-static.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x`, a captured variable in an `Fn` closure
--> $DIR/borrowck-in-static.rs:5:17
|
LL | let x = Box::new(0);
| - captured outer variable
LL | Box::new(|| x)
| ^ cannot move out of captured variable in an `Fn` closure
| ^ move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
error: aborting due to previous error

4
src/test/ui/borrowck/borrowck-issue-2657-2.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*y` which is behind a shared reference
--> $DIR/borrowck-issue-2657-2.rs:7:18
|
LL | let _b = *y;
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*y` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
| help: consider removing the `*`: `y`
error: aborting due to previous error

11
src/test/ui/borrowck/borrowck-migrate-to-nll.edition.stderr
View File

@ -1,9 +1,14 @@
warning[E0507]: cannot move out of borrowed content
--> $DIR/borrowck-migrate-to-nll.rs:25:17
warning[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/borrowck-migrate-to-nll.rs:25:18
|
LL | (|| { let bar = foo; bar.take() })();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
= warning: this error has been downgraded to a warning for backwards compatibility with previous releases
= warning: this represents potential undefined behavior in your code and this warning will become a hard error in the future
= note: for more information, try `rustc --explain E0729`

11
src/test/ui/borrowck/borrowck-migrate-to-nll.zflag.stderr
View File

@ -1,9 +1,14 @@
warning[E0507]: cannot move out of borrowed content
--> $DIR/borrowck-migrate-to-nll.rs:25:17
warning[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/borrowck-migrate-to-nll.rs:25:18
|
LL | (|| { let bar = foo; bar.take() })();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
= warning: this error has been downgraded to a warning for backwards compatibility with previous releases
= warning: this represents potential undefined behavior in your code and this warning will become a hard error in the future
= note: for more information, try `rustc --explain E0729`

8
src/test/ui/borrowck/borrowck-move-by-capture.stderr
View File

@ -1,11 +1,15 @@
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `bar`, a captured variable in an `FnMut` closure
--> $DIR/borrowck-move-by-capture.rs:9:29
|
LL | let bar: Box<_> = box 3;
| --- captured outer variable
LL | let _g = to_fn_mut(|| {
LL | let _h = to_fn_once(move || -> isize { *bar });
| ^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of captured variable in an `FnMut` closure
| ^^^^^^^^^^^^^^^^ ---
| | |
| | move occurs because `bar` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `bar` occurs here
error: aborting due to previous error

3
src/test/ui/borrowck/borrowck-move-error-with-note.rs
View File

@ -9,7 +9,6 @@ enum Foo {
fn blah() {
let f = &Foo::Foo1(box 1, box 2);
match *f { //~ ERROR cannot move out of
//~| cannot move out
Foo::Foo1(num1,
num2) => (),
Foo::Foo2(num) => (),
@ -28,7 +27,6 @@ impl Drop for S {
fn move_in_match() {
match (S {f: "foo".to_string(), g: "bar".to_string()}) {
//~^ ERROR cannot move out of type `S`, which implements the `Drop` trait
//~| cannot move out of here
S {
f: _s,
g: _t
@ -46,7 +44,6 @@ fn free<T>(_: T) {}
fn blah2() {
let a = &A { a: box 1 };
match a.a { //~ ERROR cannot move out of
//~| cannot move out
n => {
free(n)
}

35
src/test/ui/borrowck/borrowck-move-error-with-note.stderr
View File

@ -1,12 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `f.0` which is behind a shared reference
--> $DIR/borrowck-move-error-with-note.rs:11:11
|
LL | match *f {
| ^^
| |
| cannot move out of borrowed content
| help: consider removing the `*`: `f`
LL |
| ^^ help: consider removing the `*`: `f`
LL | Foo::Foo1(num1,
| ---- data moved here
LL | num2) => (),
@ -15,7 +11,7 @@ LL | Foo::Foo2(num) => (),
| --- ...and here
|
note: move occurs because these variables have types that don't implement the `Copy` trait
--> $DIR/borrowck-move-error-with-note.rs:13:19
--> $DIR/borrowck-move-error-with-note.rs:12:19
|
LL | Foo::Foo1(num1,
| ^^^^
@ -25,7 +21,7 @@ LL | Foo::Foo2(num) => (),
| ^^^
error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-move-error-with-note.rs:29:11
--> $DIR/borrowck-move-error-with-note.rs:28:11
|
LL | match (S {f: "foo".to_string(), g: "bar".to_string()}) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of here
@ -36,30 +32,23 @@ LL | g: _t
| -- ...and here
|
note: move occurs because these variables have types that don't implement the `Copy` trait
--> $DIR/borrowck-move-error-with-note.rs:33:16
--> $DIR/borrowck-move-error-with-note.rs:31:16
|
LL | f: _s,
| ^^
LL | g: _t
| ^^
error[E0507]: cannot move out of borrowed content
--> $DIR/borrowck-move-error-with-note.rs:48:11
error[E0507]: cannot move out of `a.a` which is behind a shared reference
--> $DIR/borrowck-move-error-with-note.rs:46:11
|
LL | match a.a {
| ^^^
| |
| cannot move out of borrowed content
| help: consider borrowing here: `&a.a`
LL |
| ^^^ help: consider borrowing here: `&a.a`
LL | n => {
| - data moved here
|
note: move occurs because `n` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-error-with-note.rs:50:9
|
LL | n => {
| ^
| -
| |
| data moved here
| move occurs because `n` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
error: aborting due to 3 previous errors

2
src/test/ui/borrowck/borrowck-move-from-unsafe-ptr.rs
View File

@ -1,5 +1,5 @@
unsafe fn foo(x: *const Box<isize>) -> Box<isize> {
let y = *x; //~ ERROR cannot move out of dereference of raw pointer
let y = *x; //~ ERROR cannot move out of `*x` which is behind a raw pointer
return y;
}

4
src/test/ui/borrowck/borrowck-move-from-unsafe-ptr.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of dereference of raw pointer
error[E0507]: cannot move out of `*x` which is behind a raw pointer
--> $DIR/borrowck-move-from-unsafe-ptr.rs:2:13
|
LL | let y = *x;
| ^^
| |
| cannot move out of dereference of raw pointer
| move occurs because `*x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider removing the `*`: `x`
error: aborting due to previous error

31
src/test/ui/borrowck/borrowck-move-in-irrefut-pat.stderr
View File

@ -1,49 +1,32 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-move-in-irrefut-pat.rs:3:13
|
LL | fn arg_item(&_x: &String) {}
| ^--
| ||
| |data moved here
| cannot move out of borrowed content
| |move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `&`: `_x`
|
note: move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-in-irrefut-pat.rs:3:14
|
LL | fn arg_item(&_x: &String) {}
| ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-move-in-irrefut-pat.rs:7:11
|
LL | with(|&_x| ())
| ^--
| ||
| |data moved here
| cannot move out of borrowed content
| |move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `&`: `_x`
|
note: move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-in-irrefut-pat.rs:7:12
|
LL | with(|&_x| ())
| ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/borrowck-move-in-irrefut-pat.rs:12:15
|
LL | let &_x = &"hi".to_string();
| --- ^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| --- ^^^^^^^^^^^^^^^^^
| ||
| |data moved here
| |move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `&`: `_x`
|
note: move occurs because `_x` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-in-irrefut-pat.rs:12:10
|
LL | let &_x = &"hi".to_string();
| ^^
error: aborting due to 3 previous errors

2
src/test/ui/borrowck/borrowck-move-out-of-overloaded-auto-deref.stderr
View File

@ -2,7 +2,7 @@ error[E0507]: cannot move out of an `Rc`
--> $DIR/borrowck-move-out-of-overloaded-auto-deref.rs:4:14
|
LL | let _x = Rc::new(vec![1, 2]).into_iter();
| ^^^^^^^^^^^^^^^^^^^ cannot move out of an `Rc`
| ^^^^^^^^^^^^^^^^^^^ move occurs because value has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
error: aborting due to previous error

2
src/test/ui/borrowck/borrowck-move-out-of-overloaded-deref.stderr
View File

@ -4,7 +4,7 @@ error[E0507]: cannot move out of an `Rc`
LL | let _x = *Rc::new("hi".to_string());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
| |
| cannot move out of an `Rc`
| move occurs because value has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `Rc::new("hi".to_string())`
error: aborting due to previous error

2
src/test/ui/borrowck/borrowck-move-out-of-static-item.rs
View File

@ -12,5 +12,5 @@ fn test(f: Foo) {
}
fn main() {
test(BAR); //~ ERROR cannot move out of static item [E0507]
test(BAR); //~ ERROR cannot move out of static item `BAR` [E0507]
}

4
src/test/ui/borrowck/borrowck-move-out-of-static-item.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of static item
error[E0507]: cannot move out of static item `BAR`
--> $DIR/borrowck-move-out-of-static-item.rs:15:10
|
LL | test(BAR);
| ^^^ cannot move out of static item
| ^^^ move occurs because `BAR` has type `Foo`, which does not implement the `Copy` trait
error: aborting due to previous error

25
src/test/ui/borrowck/borrowck-move-out-of-struct-with-dtor.stderr
View File

@ -5,13 +5,10 @@ LL | match (S {f:"foo".to_string()}) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of here
LL |
LL | S {f:_s} => {}
| -- data moved here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-struct-with-dtor.rs:9:14
|
LL | S {f:_s} => {}
| ^^
| --
| |
| data moved here
| move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-move-out-of-struct-with-dtor.rs:14:20
@ -20,12 +17,7 @@ LL | let S {f:_s} = S {f:"foo".to_string()};
| -- ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of here
| |
| data moved here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-struct-with-dtor.rs:14:14
|
LL | let S {f:_s} = S {f:"foo".to_string()};
| ^^
| move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-move-out-of-struct-with-dtor.rs:18:19
@ -34,13 +26,8 @@ LL | fn move_in_fn_arg(S {f:_s}: S) {
| ^^^^^--^
| | |
| | data moved here
| | move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
| cannot move out of here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-struct-with-dtor.rs:18:24
|
LL | fn move_in_fn_arg(S {f:_s}: S) {
| ^^
error: aborting due to 3 previous errors

25
src/test/ui/borrowck/borrowck-move-out-of-tuple-struct-with-dtor.stderr
View File

@ -5,13 +5,10 @@ LL | match S("foo".to_string()) {
| ^^^^^^^^^^^^^^^^^^^^ cannot move out of here
LL |
LL | S(_s) => {}
| -- data moved here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-tuple-struct-with-dtor.rs:9:11
|
LL | S(_s) => {}
| ^^
| --
| |
| data moved here
| move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-move-out-of-tuple-struct-with-dtor.rs:14:17
@ -20,12 +17,7 @@ LL | let S(_s) = S("foo".to_string());
| -- ^^^^^^^^^^^^^^^^^^^^ cannot move out of here
| |
| data moved here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-tuple-struct-with-dtor.rs:14:11
|
LL | let S(_s) = S("foo".to_string());
| ^^
| move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-move-out-of-tuple-struct-with-dtor.rs:18:19
@ -34,13 +26,8 @@ LL | fn move_in_fn_arg(S(_s): S) {
| ^^--^
| | |
| | data moved here
| | move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
| cannot move out of here
|
note: move occurs because `_s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/borrowck-move-out-of-tuple-struct-with-dtor.rs:18:21
|
LL | fn move_in_fn_arg(S(_s): S) {
| ^^
error: aborting due to 3 previous errors

2
src/test/ui/borrowck/borrowck-overloaded-index-move-from-vec.rs
View File

@ -18,5 +18,5 @@ fn main() {
let v = MyVec::<Box<_>> { data: vec![box 1, box 2, box 3] };
let good = &v[0]; // Shouldn't fail here
let bad = v[0];
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of index of `MyVec<std::boxed::Box<i32>>`
}

4
src/test/ui/borrowck/borrowck-overloaded-index-move-from-vec.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of index of `MyVec<std::boxed::Box<i32>>`
--> $DIR/borrowck-overloaded-index-move-from-vec.rs:20:15
|
LL | let bad = v[0];
| ^^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
| help: consider borrowing here: `&v[0]`
error: aborting due to previous error

10
src/test/ui/borrowck/borrowck-struct-update-with-dtor.stderr
View File

@ -2,13 +2,19 @@ error[E0509]: cannot move out of type `S`, which implements the `Drop` trait
--> $DIR/borrowck-struct-update-with-dtor.rs:12:15
|
LL | let _s2 = S{a: 2, ..s0};
| ^^^^^^^^^^^^^ cannot move out of here
| ^^^^^^^^^^^^^
| |
| cannot move out of here
| move occurs because `s0.b` has type `B`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `T`, which implements the `Drop` trait
--> $DIR/borrowck-struct-update-with-dtor.rs:17:15
|
LL | let _s2 = T{a: 2, ..s0};
| ^^^^^^^^^^^^^ cannot move out of here
| ^^^^^^^^^^^^^
| |
| cannot move out of here
| move occurs because `s0.mv` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
error: aborting due to 2 previous errors

3
src/test/ui/borrowck/borrowck-vec-pattern-nesting.rs
View File

@ -46,6 +46,7 @@ fn c() {
}
let a = vec[0]; //~ ERROR cannot move out
//~| NOTE cannot move out of here
//~| NOTE move occurs because
//~| HELP consider borrowing here
}
@ -64,6 +65,7 @@ fn d() {
}
let a = vec[0]; //~ ERROR cannot move out
//~| NOTE cannot move out of here
//~| NOTE move occurs because
//~| HELP consider borrowing here
}
@ -83,6 +85,7 @@ fn e() {
}
let a = vec[0]; //~ ERROR cannot move out
//~| NOTE cannot move out of here
//~| NOTE move occurs because
//~| HELP consider borrowing here
}

35
src/test/ui/borrowck/borrowck-vec-pattern-nesting.stderr
View File

@ -29,13 +29,10 @@ LL | match vec {
| ^^^ cannot move out of here
...
LL | &mut [_a,
| -- data moved here
|
note: move occurs because `_a` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
--> $DIR/borrowck-vec-pattern-nesting.rs:38:15
|
LL | &mut [_a,
| ^^
| --
| |
| data moved here
| move occurs because `_a` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
help: consider removing the `&mut`
|
LL | [_a,
@ -53,22 +50,20 @@ LL | let a = vec[0];
| ^^^^^^
| |
| cannot move out of here
| move occurs because `vec[_]` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider borrowing here: `&vec[0]`
error[E0508]: cannot move out of type `[std::boxed::Box<isize>]`, a non-copy slice
--> $DIR/borrowck-vec-pattern-nesting.rs:55:11
--> $DIR/borrowck-vec-pattern-nesting.rs:56:11
|
LL | match vec {
| ^^^ cannot move out of here
...
LL | _b] => {}
| -- data moved here
|
note: move occurs because `_b` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
--> $DIR/borrowck-vec-pattern-nesting.rs:60:10
|
LL | _b] => {}
| ^^
| --
| |
| data moved here
| move occurs because `_b` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
help: consider removing the `&mut`
|
LL | [
@ -77,16 +72,17 @@ LL | _b] => {}
|
error[E0508]: cannot move out of type `[std::boxed::Box<isize>]`, a non-copy slice
--> $DIR/borrowck-vec-pattern-nesting.rs:65:13
--> $DIR/borrowck-vec-pattern-nesting.rs:66:13
|
LL | let a = vec[0];
| ^^^^^^
| |
| cannot move out of here
| move occurs because `vec[_]` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider borrowing here: `&vec[0]`
error[E0508]: cannot move out of type `[std::boxed::Box<isize>]`, a non-copy slice
--> $DIR/borrowck-vec-pattern-nesting.rs:73:11
--> $DIR/borrowck-vec-pattern-nesting.rs:75:11
|
LL | match vec {
| ^^^ cannot move out of here
@ -100,18 +96,19 @@ LL | &mut [_a, _b, _c] => {}
| help: consider removing the `&mut`: `[_a, _b, _c]`
|
note: move occurs because these variables have types that don't implement the `Copy` trait
--> $DIR/borrowck-vec-pattern-nesting.rs:76:15
--> $DIR/borrowck-vec-pattern-nesting.rs:78:15
|
LL | &mut [_a, _b, _c] => {}
| ^^ ^^ ^^
error[E0508]: cannot move out of type `[std::boxed::Box<isize>]`, a non-copy slice
--> $DIR/borrowck-vec-pattern-nesting.rs:84:13
--> $DIR/borrowck-vec-pattern-nesting.rs:86:13
|
LL | let a = vec[0];
| ^^^^^^
| |
| cannot move out of here
| move occurs because `vec[_]` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider borrowing here: `&vec[0]`
error: aborting due to 8 previous errors

2
src/test/ui/borrowck/issue-47215-ice-from-drop-elab.rs
View File

@ -14,7 +14,7 @@ static mut X: ::std::sync::atomic::AtomicUsize = ::std::sync::atomic::AtomicUsiz
fn main() {
unsafe {
let mut x = X; //~ ERROR cannot move out of static item [E0507]
let mut x = X; //~ ERROR cannot move out of static item `X` [E0507]
let _y = x.get_mut();
}
}

4
src/test/ui/borrowck/issue-47215-ice-from-drop-elab.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of static item
error[E0507]: cannot move out of static item `X`
--> $DIR/issue-47215-ice-from-drop-elab.rs:17:21
|
LL | let mut x = X;
| ^
| |
| cannot move out of static item
| move occurs because `X` has type `std::sync::atomic::AtomicUsize`, which does not implement the `Copy` trait
| help: consider borrowing here: `&X`
error: aborting due to previous error

14
src/test/ui/borrowck/issue-51415.stderr
View File

@ -1,17 +1,11 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/issue-51415.rs:6:42
|
LL | let opt = a.iter().enumerate().find(|(_, &s)| {
| ^^^^^-^
| | |
| | data moved here
| cannot move out of borrowed content
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/issue-51415.rs:6:47
|
LL | let opt = a.iter().enumerate().find(|(_, &s)| {
| ^
| |
| data moved here
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error

2
src/test/ui/borrowck/issue-54597-reject-move-out-of-borrow-via-pat.rs
View File

@ -11,7 +11,7 @@ impl Value {
fn foo(val: Value) {
let _reviewers_original: Vec<Value> = match val.as_array() {
Some(array) => {
*array //~ ERROR cannot move out of borrowed content
*array //~ ERROR cannot move out of `*array`
}
None => vec![]
};

4
src/test/ui/borrowck/issue-54597-reject-move-out-of-borrow-via-pat.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*array` which is behind a shared reference
--> $DIR/issue-54597-reject-move-out-of-borrow-via-pat.rs:14:13
|
LL | *array
| ^^^^^^
| |
| cannot move out of borrowed content
| move occurs because `*array` has type `std::vec::Vec<Value>`, which does not implement the `Copy` trait
| help: consider removing the `*`: `array`
error: aborting due to previous error

8
src/test/ui/borrowck/move-in-static-initializer-issue-38520.stderr
View File

@ -1,14 +1,14 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/move-in-static-initializer-issue-38520.rs:12:23
|
LL | static Y: usize = get(*&X);
| ^^^ cannot move out of borrowed content
| ^^^ move occurs because value has type `Foo`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/move-in-static-initializer-issue-38520.rs:13:22
|
LL | const Z: usize = get(*&X);
| ^^^ cannot move out of borrowed content
| ^^^ move occurs because value has type `Foo`, which does not implement the `Copy` trait
error: aborting due to 2 previous errors

2
src/test/ui/borrowck/unboxed-closures-move-upvar-from-non-once-ref-closure.rs
View File

@ -9,6 +9,6 @@ fn main() {
let y = vec![format!("World")];
call(|| {
y.into_iter();
//~^ ERROR cannot move out of captured variable in an `Fn` closure
//~^ ERROR cannot move out of `y`, a captured variable in an `Fn` closure
});
}

4
src/test/ui/borrowck/unboxed-closures-move-upvar-from-non-once-ref-closure.stderr
View File

@ -1,11 +1,11 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `y`, a captured variable in an `Fn` closure
--> $DIR/unboxed-closures-move-upvar-from-non-once-ref-closure.rs:11:9
|
LL | let y = vec![format!("World")];
| - captured outer variable
LL | call(|| {
LL | y.into_iter();
| ^ cannot move out of captured variable in an `Fn` closure
| ^ move occurs because `y` has type `std::vec::Vec<std::string::String>`, which does not implement the `Copy` trait
error: aborting due to previous error

11
src/test/ui/by-move-pattern-binding.stderr
View File

@ -1,20 +1,15 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/by-move-pattern-binding.rs:14:11
|
LL | match &s.x {
| ^^^^ cannot move out of borrowed content
| ^^^^
LL | &E::Foo => {}
LL | &E::Bar(identifier) => f(identifier.clone())
| -------------------
| | |
| | data moved here
| | move occurs because `identifier` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `&`: `E::Bar(identifier)`
|
note: move occurs because `identifier` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/by-move-pattern-binding.rs:16:17
|
LL | &E::Bar(identifier) => f(identifier.clone())
| ^^^^^^^^^^
error: aborting due to previous error

4
src/test/ui/check-static-values-constraints.stderr
View File

@ -85,13 +85,13 @@ error[E0019]: static contains unimplemented expression type
LL | box 3;
| ^
error[E0507]: cannot move out of static item
error[E0507]: cannot move out of static item `x`
--> $DIR/check-static-values-constraints.rs:116:45
|
LL | let y = { static x: Box<isize> = box 3; x };
| ^
| |
| cannot move out of static item
| move occurs because `x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
| help: consider borrowing here: `&x`
error[E0010]: allocations are not allowed in statics

7
src/test/ui/disallowed-deconstructing/disallowed-deconstructing-destructing-struct-let.stderr
View File

@ -5,12 +5,7 @@ LL | let X { x: y } = x;
| - ^ cannot move out of here
| |
| data moved here
|
note: move occurs because `y` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/disallowed-deconstructing-destructing-struct-let.rs:12:16
|
LL | let X { x: y } = x;
| ^
| move occurs because `y` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error

11
src/test/ui/disallowed-deconstructing/disallowed-deconstructing-destructing-struct-match.stderr
View File

@ -5,13 +5,10 @@ LL | match x {
| ^ cannot move out of here
LL |
LL | X { x: y } => println!("contents: {}", y)
| - data moved here
|
note: move occurs because `y` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/disallowed-deconstructing-destructing-struct-match.rs:16:16
|
LL | X { x: y } => println!("contents: {}", y)
| ^
| -
| |
| data moved here
| move occurs because `y` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error

4
src/test/ui/dst/dst-index.rs
View File

@ -29,9 +29,9 @@ impl Index<usize> for T {
fn main() {
S[0];
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of index of `S`
//~^^ ERROR E0161
T[0];
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of index of `T`
//~^^ ERROR E0161
}

8
src/test/ui/dst/dst-index.stderr
View File

@ -10,17 +10,17 @@ error[E0161]: cannot move a value of type dyn std::fmt::Debug: the size of dyn s
LL | T[0];
| ^^^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of index of `S`
--> $DIR/dst-index.rs:31:5
|
LL | S[0];
| ^^^^ cannot move out of borrowed content
| ^^^^ move occurs because value has type `str`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of index of `T`
--> $DIR/dst-index.rs:34:5
|
LL | T[0];
| ^^^^ cannot move out of borrowed content
| ^^^^ move occurs because value has type `dyn std::fmt::Debug`, which does not implement the `Copy` trait
error: aborting due to 4 previous errors

2
src/test/ui/dst/dst-rvalue.rs
View File

@ -5,7 +5,7 @@
pub fn main() {
let _x: Box<str> = box *"hello world";
//~^ ERROR E0161
//~^^ ERROR cannot move out of borrowed content
//~^^ ERROR cannot move out of a shared reference
let array: &[isize] = &[1, 2, 3];
let _x: Box<[isize]> = box *array;

9
src/test/ui/dst/dst-rvalue.stderr
View File

@ -10,17 +10,20 @@ error[E0161]: cannot move a value of type [isize]: the size of [isize] cannot be
LL | let _x: Box<[isize]> = box *array;
| ^^^^^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/dst-rvalue.rs:6:28
|
LL | let _x: Box<str> = box *"hello world";
| ^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^ move occurs because value has type `str`, which does not implement the `Copy` trait
error[E0508]: cannot move out of type `[isize]`, a non-copy slice
--> $DIR/dst-rvalue.rs:11:32
|
LL | let _x: Box<[isize]> = box *array;
| ^^^^^^ cannot move out of here
| ^^^^^^
| |
| cannot move out of here
| move occurs because `*array` has type `[isize]`, which does not implement the `Copy` trait
error: aborting due to 4 previous errors

4
src/test/ui/error-codes/E0507.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of dereference of `std::cell::Ref<'_, TheDarkKnight>`
--> $DIR/E0507.rs:12:5
|
LL | x.borrow().nothing_is_true();
| ^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^ move occurs because value has type `TheDarkKnight`, which does not implement the `Copy` trait
error: aborting due to previous error

1
src/test/ui/error-codes/E0508-fail.stderr
View File

@ -5,6 +5,7 @@ LL | let _value = array[0];
| ^^^^^^^^
| |
| cannot move out of here
| move occurs because `array[_]` has type `NonCopy`, which does not implement the `Copy` trait
| help: consider borrowing here: `&array[0]`
error: aborting due to previous error

1
src/test/ui/error-codes/E0508.stderr
View File

@ -5,6 +5,7 @@ LL | let _value = array[0];
| ^^^^^^^^
| |
| cannot move out of here
| move occurs because `array[_]` has type `NonCopy`, which does not implement the `Copy` trait
| help: consider borrowing here: `&array[0]`
error: aborting due to previous error

1
src/test/ui/error-codes/E0509.stderr
View File

@ -5,6 +5,7 @@ LL | let fancy_field = drop_struct.fancy;
| ^^^^^^^^^^^^^^^^^
| |
| cannot move out of here
| move occurs because `drop_struct.fancy` has type `FancyNum`, which does not implement the `Copy` trait
| help: consider borrowing here: `&drop_struct.fancy`
error: aborting due to previous error

5
src/test/ui/functional-struct-update/functional-struct-update-noncopyable.stderr
View File

@ -2,7 +2,10 @@ error[E0509]: cannot move out of type `A`, which implements the `Drop` trait
--> $DIR/functional-struct-update-noncopyable.rs:12:14
|
LL | let _b = A { y: Arc::new(3), ..a };
| ^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of here
| ^^^^^^^^^^^^^^^^^^^^^^^^^
| |
| cannot move out of here
| move occurs because `a.x` has type `std::sync::Arc<isize>`, which does not implement the `Copy` trait
error: aborting due to previous error

4
src/test/ui/issues/issue-17718-static-move.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of static item
error[E0507]: cannot move out of static item `FOO`
--> $DIR/issue-17718-static-move.rs:6:14
|
LL | let _a = FOO;
| ^^^
| |
| cannot move out of static item
| move occurs because `FOO` has type `Foo`, which does not implement the `Copy` trait
| help: consider borrowing here: `&FOO`
error: aborting due to previous error

8
src/test/ui/issues/issue-20801.rs
View File

@ -24,14 +24,14 @@ fn const_ptr() -> *const T {
pub fn main() {
let a = unsafe { *mut_ref() };
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of a mutable reference
let b = unsafe { *imm_ref() };
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of a shared reference
let c = unsafe { *mut_ptr() };
//~^ ERROR cannot move out of dereference of raw pointer
//~^ ERROR cannot move out of a raw pointer
let d = unsafe { *const_ptr() };
//~^ ERROR cannot move out of dereference of raw pointer
//~^ ERROR cannot move out of a raw pointer
}

16
src/test/ui/issues/issue-20801.stderr
View File

@ -1,37 +1,37 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/issue-20801.rs:26:22
|
LL | let a = unsafe { *mut_ref() };
| ^^^^^^^^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `T`, which does not implement the `Copy` trait
| help: consider removing the `*`: `mut_ref()`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/issue-20801.rs:29:22
|
LL | let b = unsafe { *imm_ref() };
| ^^^^^^^^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `T`, which does not implement the `Copy` trait
| help: consider removing the `*`: `imm_ref()`
error[E0507]: cannot move out of dereference of raw pointer
error[E0507]: cannot move out of a raw pointer
--> $DIR/issue-20801.rs:32:22
|
LL | let c = unsafe { *mut_ptr() };
| ^^^^^^^^^^
| |
| cannot move out of dereference of raw pointer
| move occurs because value has type `T`, which does not implement the `Copy` trait
| help: consider removing the `*`: `mut_ptr()`
error[E0507]: cannot move out of dereference of raw pointer
error[E0507]: cannot move out of a raw pointer
--> $DIR/issue-20801.rs:35:22
|
LL | let d = unsafe { *const_ptr() };
| ^^^^^^^^^^^^
| |
| cannot move out of dereference of raw pointer
| move occurs because value has type `T`, which does not implement the `Copy` trait
| help: consider removing the `*`: `const_ptr()`
error: aborting due to 4 previous errors

2
src/test/ui/issues/issue-2590.rs
View File

@ -8,7 +8,7 @@ trait Parse {
impl Parse for Parser {
fn parse(&self) -> Vec<isize> {
self.tokens //~ ERROR cannot move out of borrowed content
self.tokens //~ ERROR cannot move out
}
}

4
src/test/ui/issues/issue-2590.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `self.tokens` which is behind a shared reference
--> $DIR/issue-2590.rs:11:9
|
LL | self.tokens
| ^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^ move occurs because `self.tokens` has type `std::vec::Vec<isize>`, which does not implement the `Copy` trait
error: aborting due to previous error

2
src/test/ui/issues/issue-27282-move-ref-mut-into-guard.rs
View File

@ -12,7 +12,7 @@ fn main() {
None => {},
ref mut foo
if { (|| { let bar = foo; bar.take() })(); false } => {},
//~^ ERROR cannot move out of borrowed content [E0507]
//~^ ERROR cannot move out of `foo` in pattern guard [E0507]
Some(s) => std::process::exit(*s),
}
}

12
src/test/ui/issues/issue-27282-move-ref-mut-into-guard.stderr
View File

@ -1,8 +1,14 @@
error[E0507]: cannot move out of borrowed content
--> $DIR/issue-27282-move-ref-mut-into-guard.rs:14:18
error[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/issue-27282-move-ref-mut-into-guard.rs:14:19
|
LL | if { (|| { let bar = foo; bar.take() })(); false } => {},
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

2
src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.rs
View File

@ -6,5 +6,5 @@ struct Foo {
fn main() {
let mut f = Foo { v: Vec::new() };
f.v.push("hello".to_string());
let e = f.v[0]; //~ ERROR cannot move out of borrowed content
let e = f.v[0]; //~ ERROR cannot move out of index
}

4
src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of index of `std::vec::Vec<std::string::String>`
--> $DIR/issue-40402-1.rs:9:13
|
LL | let e = f.v[0];
| ^^^^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::string::String`, which does not implement the `Copy` trait
| help: consider borrowing here: `&f.v[0]`
error: aborting due to previous error

2
src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs
View File

@ -2,5 +2,5 @@
// are nested within a pattern
fn main() {
let x = vec![(String::new(), String::new())];
let (a, b) = x[0]; //~ ERROR cannot move out of borrowed content
let (a, b) = x[0]; //~ ERROR cannot move out of index
}

8
src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.stderr
View File

@ -1,11 +1,9 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of index of `std::vec::Vec<(std::string::String, std::string::String)>`
--> $DIR/issue-40402-2.rs:5:18
|
LL | let (a, b) = x[0];
| - - ^^^^
| | | |
| | | cannot move out of borrowed content
| | | help: consider borrowing here: `&x[0]`
| - - ^^^^ help: consider borrowing here: `&x[0]`
| | |
| | ...and here
| data moved here
|

4
src/test/ui/issues/issue-4335.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `*v`, as `v` is a captured variable in an `FnMut` closure
--> $DIR/issue-4335.rs:6:20
|
LL | fn f<'r, T>(v: &'r T) -> Box<dyn FnMut() -> T + 'r> {
| - captured outer variable
LL | id(Box::new(|| *v))
| ^^ cannot move out of captured variable in an `FnMut` closure
| ^^ move occurs because `*v` has type `T`, which does not implement the `Copy` trait
error[E0373]: closure may outlive the current function, but it borrows `v`, which is owned by the current function
--> $DIR/issue-4335.rs:6:17

5
src/test/ui/moves/move-out-of-array-1.stderr
View File

@ -2,7 +2,10 @@ error[E0508]: cannot move out of type `[D; 4]`, a non-copy array
--> $DIR/move-out-of-array-1.rs:17:5
|
LL | a[i]
| ^^^^ cannot move out of here
| ^^^^
| |
| cannot move out of here
| move occurs because `a[_]` has type `D`, which does not implement the `Copy` trait
error: aborting due to previous error

11
src/test/ui/moves/move-out-of-slice-1.stderr
View File

@ -4,13 +4,10 @@ error[E0508]: cannot move out of type `[A]`, a non-copy slice
LL | match a {
| ^ cannot move out of here
LL | box [a] => {},
| - data moved here
|
note: move occurs because `a` has type `A`, which does not implement the `Copy` trait
--> $DIR/move-out-of-slice-1.rs:8:14
|
LL | box [a] => {},
| ^
| -
| |
| data moved here
| move occurs because `a` has type `A`, which does not implement the `Copy` trait
error: aborting due to previous error

1
src/test/ui/moves/moves-based-on-type-block-bad.rs
View File

@ -20,7 +20,6 @@ fn main() {
loop {
f(&s, |hellothere| {
match hellothere.x { //~ ERROR cannot move out
//~| cannot move out of borrowed content
box E::Foo(_) => {}
box E::Bar(x) => println!("{}", x.to_string()),
box E::Baz => {}

20
src/test/ui/moves/moves-based-on-type-block-bad.stderr
View File

@ -1,20 +1,14 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `hellothere.x.0` which is behind a shared reference
--> $DIR/moves-based-on-type-block-bad.rs:22:19
|
LL | match hellothere.x {
| ^^^^^^^^^^^^
| |
| cannot move out of borrowed content
| help: consider borrowing here: `&hellothere.x`
...
| ^^^^^^^^^^^^ help: consider borrowing here: `&hellothere.x`
LL | box E::Foo(_) => {}
LL | box E::Bar(x) => println!("{}", x.to_string()),
| - data moved here
|
note: move occurs because `x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
--> $DIR/moves-based-on-type-block-bad.rs:25:28
|
LL | box E::Bar(x) => println!("{}", x.to_string()),
| ^
| -
| |
| data moved here
| move occurs because `x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
error: aborting due to previous error

4
src/test/ui/moves/moves-based-on-type-move-out-of-closure-env-issue-1965.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `i`, a captured variable in an `Fn` closure
--> $DIR/moves-based-on-type-move-out-of-closure-env-issue-1965.rs:11:28
|
LL | let i = box 3;
| - captured outer variable
LL | let _f = to_fn(|| test(i));
| ^ cannot move out of captured variable in an `Fn` closure
| ^ move occurs because `i` has type `std::boxed::Box<usize>`, which does not implement the `Copy` trait
error: aborting due to previous error

27
src/test/ui/nll/cannot-move-block-spans.stderr
View File

@ -1,28 +1,28 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:5:15
|
LL | let x = { *r };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:6:22
|
LL | let y = unsafe { *r };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:7:26
|
LL | let z = loop { break *r; };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0508]: cannot move out of type `[std::string::String; 2]`, a non-copy array
@ -32,6 +32,7 @@ LL | let x = { arr[0] };
| ^^^^^^
| |
| cannot move out of here
| move occurs because `arr[_]` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider borrowing here: `&arr[0]`
error[E0508]: cannot move out of type `[std::string::String; 2]`, a non-copy array
@ -41,6 +42,7 @@ LL | let y = unsafe { arr[0] };
| ^^^^^^
| |
| cannot move out of here
| move occurs because `arr[_]` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider borrowing here: `&arr[0]`
error[E0508]: cannot move out of type `[std::string::String; 2]`, a non-copy array
@ -50,33 +52,34 @@ LL | let z = loop { break arr[0]; };
| ^^^^^^
| |
| cannot move out of here
| move occurs because `arr[_]` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider borrowing here: `&arr[0]`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:17:38
|
LL | let x = { let mut u = 0; u += 1; *r };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:18:45
|
LL | let y = unsafe { let mut u = 0; u += 1; *r };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*r` which is behind a shared reference
--> $DIR/cannot-move-block-spans.rs:19:49
|
LL | let z = loop { let mut u = 0; u += 1; break *r; u += 2; };
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*r` has type `std::string::String`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error: aborting due to 9 previous errors

1
src/test/ui/nll/issue-52059-report-when-borrow-and-drop-conflict.stderr
View File

@ -35,6 +35,7 @@ LL | let p = s.url; p
| ^^^^^
| |
| cannot move out of here
| move occurs because `s.url` has type `&mut std::string::String`, which does not implement the `Copy` trait
| help: consider borrowing here: `&s.url`
error: aborting due to 4 previous errors

4
src/test/ui/nll/issue-52086.stderr
View File

@ -2,13 +2,13 @@ error[E0507]: cannot move out of an `Rc`
--> $DIR/issue-52086.rs:8:10
|
LL | drop(x.field);
| ^^^^^^^ cannot move out of an `Rc`
| ^^^^^^^ move occurs because value has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
error[E0507]: cannot move out of an `Arc`
--> $DIR/issue-52086.rs:12:10
|
LL | drop(y.field);
| ^^^^^^^ cannot move out of an `Arc`
| ^^^^^^^ move occurs because value has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
error: aborting due to 2 previous errors

2
src/test/ui/nll/issue-52663-span-decl-captured-variable.rs
View File

@ -6,6 +6,6 @@ fn main() {
{
let x = (vec![22], vec![44]);
expect_fn(|| drop(x.0));
//~^ ERROR cannot move out of captured variable in an `Fn` closure [E0507]
//~^ ERROR cannot move out of `x.0`, as `x` is a captured variable in an `Fn` closure [E0507]
}
}

4
src/test/ui/nll/issue-52663-span-decl-captured-variable.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x.0`, as `x` is a captured variable in an `Fn` closure
--> $DIR/issue-52663-span-decl-captured-variable.rs:8:26
|
LL | let x = (vec![22], vec![44]);
| - captured outer variable
LL | expect_fn(|| drop(x.0));
| ^^^ cannot move out of captured variable in an `Fn` closure
| ^^^ move occurs because `x.0` has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
error: aborting due to previous error

2
src/test/ui/nll/match-guards-always-borrow.rs
View File

@ -8,7 +8,7 @@ fn should_reject_destructive_mutate_in_guard() {
None => {},
ref mut foo if {
(|| { let bar = foo; bar.take() })();
//~^ ERROR cannot move out of borrowed content [E0507]
//~^ ERROR cannot move out of `foo` in pattern guard [E0507]
false } => { },
Some(s) => std::process::exit(*s),
}

12
src/test/ui/nll/match-guards-always-borrow.stderr
View File

@ -1,8 +1,14 @@
error[E0507]: cannot move out of borrowed content
--> $DIR/match-guards-always-borrow.rs:10:13
error[E0507]: cannot move out of `foo` in pattern guard
--> $DIR/match-guards-always-borrow.rs:10:14
|
LL | (|| { let bar = foo; bar.take() })();
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^ ---
| | |
| | move occurs because `foo` has type `&mut std::option::Option<&i32>`, which does not implement the `Copy` trait
| | move occurs due to use in closure
| move out of `foo` occurs here
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

93
src/test/ui/nll/move-errors.stderr
View File

@ -1,10 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*a` which is behind a shared reference
--> $DIR/move-errors.rs:6:13
|
LL | let b = *a;
| ^^
| |
| cannot move out of borrowed content
| move occurs because `*a` has type `A`, which does not implement the `Copy` trait
| help: consider removing the `*`: `a`
error[E0508]: cannot move out of type `[A; 1]`, a non-copy array
@ -14,15 +14,16 @@ LL | let b = a[0];
| ^^^^
| |
| cannot move out of here
| move occurs because `a[_]` has type `A`, which does not implement the `Copy` trait
| help: consider borrowing here: `&a[0]`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `**r` which is behind a shared reference
--> $DIR/move-errors.rs:19:13
|
LL | let s = **r;
| ^^^
| |
| cannot move out of borrowed content
| move occurs because `**r` has type `A`, which does not implement the `Copy` trait
| help: consider removing the `*`: `*r`
error[E0507]: cannot move out of an `Rc`
@ -31,7 +32,7 @@ error[E0507]: cannot move out of an `Rc`
LL | let s = *r;
| ^^
| |
| cannot move out of an `Rc`
| move occurs because value has type `A`, which does not implement the `Copy` trait
| help: consider removing the `*`: `r`
error[E0508]: cannot move out of type `[A; 1]`, a non-copy array
@ -41,23 +42,17 @@ LL | let a = [A("".to_string())][0];
| ^^^^^^^^^^^^^^^^^^^^^^
| |
| cannot move out of here
| move occurs because value has type `A`, which does not implement the `Copy` trait
| help: consider borrowing here: `&[A("".to_string())][0]`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `a.0` which is behind a shared reference
--> $DIR/move-errors.rs:38:16
|
LL | let A(s) = *a;
| - ^^
| | |
| | cannot move out of borrowed content
| | help: consider removing the `*`: `a`
| - ^^ help: consider removing the `*`: `a`
| |
| data moved here
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:38:11
|
LL | let A(s) = *a;
| ^
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `D`, which implements the `Drop` trait
--> $DIR/move-errors.rs:44:19
@ -66,18 +61,13 @@ LL | let C(D(s)) = c;
| - ^ cannot move out of here
| |
| data moved here
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:44:13
|
LL | let C(D(s)) = c;
| ^
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*a` which is behind a shared reference
--> $DIR/move-errors.rs:51:9
|
LL | b = *a;
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*a` has type `A`, which does not implement the `Copy` trait
error[E0508]: cannot move out of type `[B; 1]`, a non-copy array
--> $DIR/move-errors.rs:74:11
@ -108,13 +98,10 @@ LL | match x {
| ^ cannot move out of here
...
LL | B::U(D(s)) => (),
| - data moved here
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:86:16
|
LL | B::U(D(s)) => (),
| ^
| -
| |
| data moved here
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `D`, which implements the `Drop` trait
--> $DIR/move-errors.rs:92:11
@ -123,28 +110,22 @@ LL | match x {
| ^ cannot move out of here
...
LL | (D(s), &t) => (),
| - data moved here
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:95:12
|
LL | (D(s), &t) => (),
| ^
| -
| |
| data moved here
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*x.1` which is behind a shared reference
--> $DIR/move-errors.rs:92:11
|
LL | match x {
| ^ cannot move out of borrowed content
| ^
...
LL | (D(s), &t) => (),
| - data moved here
|
note: move occurs because `t` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:95:17
|
LL | (D(s), &t) => (),
| ^
| -
| |
| data moved here
| move occurs because `t` has type `std::string::String`, which does not implement the `Copy` trait
error[E0509]: cannot move out of type `F`, which implements the `Drop` trait
--> $DIR/move-errors.rs:102:11
@ -163,23 +144,17 @@ note: move occurs because these variables have types that don't implement the `C
LL | F(s, mut t) => (),
| ^ ^^^^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `x.0` which is behind a shared reference
--> $DIR/move-errors.rs:110:11
|
LL | match *x {
| ^^
| |
| cannot move out of borrowed content
| help: consider removing the `*`: `x`
| ^^ help: consider removing the `*`: `x`
LL |
LL | Ok(s) | Err(s) => (),
| - data moved here
|
note: move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
--> $DIR/move-errors.rs:112:12
|
LL | Ok(s) | Err(s) => (),
| ^
| -
| |
| data moved here
| move occurs because `s` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to 14 previous errors

4
src/test/ui/object-lifetime/object-lifetime-default-from-box-error.nll.stderr
View File

@ -7,11 +7,11 @@ LL | fn load(ss: &mut SomeStruct) -> Box<dyn SomeTrait> {
LL | ss.r
| ^^^^ lifetime `'static` required
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `ss.r` which is behind a mutable reference
--> $DIR/object-lifetime-default-from-box-error.rs:18:5
|
LL | ss.r
| ^^^^ cannot move out of borrowed content
| ^^^^ move occurs because `ss.r` has type `std::boxed::Box<dyn SomeTrait>`, which does not implement the `Copy` trait
error[E0621]: explicit lifetime required in the type of `ss`
--> $DIR/object-lifetime-default-from-box-error.rs:31:5

2
src/test/ui/rfc-0107-bind-by-move-pattern-guards/rfc-reject-double-move-across-arms.rs
View File

@ -6,7 +6,7 @@ enum VecWrapper { A(Vec<i32>) }
fn foo(x: VecWrapper) -> usize {
match x {
VecWrapper::A(v) if { drop(v); false } => 1,
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `v` in pattern guard
VecWrapper::A(v) => v.len()
}
}

6
src/test/ui/rfc-0107-bind-by-move-pattern-guards/rfc-reject-double-move-across-arms.stderr
View File

@ -1,8 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `v` in pattern guard
--> $DIR/rfc-reject-double-move-across-arms.rs:8:36
|
LL | VecWrapper::A(v) if { drop(v); false } => 1,
| ^ cannot move out of borrowed content
| ^ move occurs because `v` has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

2
src/test/ui/rfc-0107-bind-by-move-pattern-guards/rfc-reject-double-move-in-first-arm.rs
View File

@ -7,7 +7,7 @@ fn foo(n: i32) {
let x = A { a: Box::new(n) };
let _y = match x {
A { a: v } if { drop(v); true } => v,
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `v` in pattern guard
_ => Box::new(0),
};
}

6
src/test/ui/rfc-0107-bind-by-move-pattern-guards/rfc-reject-double-move-in-first-arm.stderr
View File

@ -1,8 +1,10 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `v` in pattern guard
--> $DIR/rfc-reject-double-move-in-first-arm.rs:9:30
|
LL | A { a: v } if { drop(v); true } => v,
| ^ cannot move out of borrowed content
| ^ move occurs because `v` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
|
= note: variables bound in patterns cannot be moved from until after the end of the pattern guard
error: aborting due to previous error

2
src/test/ui/rfc-2005-default-binding-mode/for.rs
View File

@ -5,6 +5,6 @@ pub fn main() {
// The below desugars to &(ref n, mut m).
for (n, mut m) in &tups {
//~^ ERROR cannot bind by-move and by-ref in the same pattern
//~| ERROR cannot move out of borrowed content
//~| ERROR cannot move out of a shared reference
}
}

11
src/test/ui/rfc-2005-default-binding-mode/for.stderr
View File

@ -6,19 +6,14 @@ LL | for (n, mut m) in &tups {
| |
| both by-ref and by-move used
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/for.rs:6:23
|
LL | for (n, mut m) in &tups {
| ----- ^^^^^ cannot move out of borrowed content
| ----- ^^^^^
| |
| data moved here
|
note: move occurs because `m` has type `Foo`, which does not implement the `Copy` trait
--> $DIR/for.rs:6:13
|
LL | for (n, mut m) in &tups {
| ^^^^^
| move occurs because `m` has type `Foo`, which does not implement the `Copy` trait
error: aborting due to 2 previous errors

2
src/test/ui/span/borrowck-call-is-borrow-issue-12224.rs
View File

@ -55,7 +55,7 @@ fn test7() {
f(Box::new(|a| {
//~^ ERROR cannot move out of `f` because it is borrowed
foo(f);
//~^ ERROR cannot move out of captured variable in an `FnMut` closure
//~^ ERROR cannot move out of `f`, a captured variable in an `FnMut` closure
}), 3);
}

4
src/test/ui/span/borrowck-call-is-borrow-issue-12224.stderr
View File

@ -26,14 +26,14 @@ LL | fn test4(f: &Test) {
LL | f.f.call_mut(())
| ^^^ `f` is a `&` reference, so the data it refers to cannot be borrowed as mutable
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `f`, a captured variable in an `FnMut` closure
--> $DIR/borrowck-call-is-borrow-issue-12224.rs:57:13
|
LL | let mut f = move |g: Box<dyn FnMut(isize)>, b: isize| {
| ----- captured outer variable
...
LL | foo(f);
| ^ cannot move out of captured variable in an `FnMut` closure
| ^ move occurs because `f` has type `[closure@$DIR/borrowck-call-is-borrow-issue-12224.rs:52:17: 54:6 s:std::string::String]`, which does not implement the `Copy` trait
error[E0505]: cannot move out of `f` because it is borrowed
--> $DIR/borrowck-call-is-borrow-issue-12224.rs:55:16

4
src/test/ui/static/static-items-cant-move.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of static item
error[E0507]: cannot move out of static item `BAR`
--> $DIR/static-items-cant-move.rs:18:10
|
LL | test(BAR);
| ^^^ cannot move out of static item
| ^^^ move occurs because `BAR` has type `Foo`, which does not implement the `Copy` trait
error: aborting due to previous error

8
src/test/ui/std-uncopyable-atomics.rs
View File

@ -6,11 +6,11 @@ use std::ptr;
fn main() {
let x = AtomicBool::new(false);
let x = *&x; //~ ERROR: cannot move out of borrowed content
let x = *&x; //~ ERROR: cannot move out of a shared reference
let x = AtomicIsize::new(0);
let x = *&x; //~ ERROR: cannot move out of borrowed content
let x = *&x; //~ ERROR: cannot move out of a shared reference
let x = AtomicUsize::new(0);
let x = *&x; //~ ERROR: cannot move out of borrowed content
let x = *&x; //~ ERROR: cannot move out of a shared reference
let x: AtomicPtr<usize> = AtomicPtr::new(ptr::null_mut());
let x = *&x; //~ ERROR: cannot move out of borrowed content
let x = *&x; //~ ERROR: cannot move out of a shared reference
}

16
src/test/ui/std-uncopyable-atomics.stderr
View File

@ -1,37 +1,37 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/std-uncopyable-atomics.rs:9:13
|
LL | let x = *&x;
| ^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::sync::atomic::AtomicBool`, which does not implement the `Copy` trait
| help: consider removing the `*`: `&x`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/std-uncopyable-atomics.rs:11:13
|
LL | let x = *&x;
| ^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::sync::atomic::AtomicIsize`, which does not implement the `Copy` trait
| help: consider removing the `*`: `&x`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/std-uncopyable-atomics.rs:13:13
|
LL | let x = *&x;
| ^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::sync::atomic::AtomicUsize`, which does not implement the `Copy` trait
| help: consider removing the `*`: `&x`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/std-uncopyable-atomics.rs:15:13
|
LL | let x = *&x;
| ^^^
| |
| cannot move out of borrowed content
| move occurs because value has type `std::sync::atomic::AtomicPtr<usize>`, which does not implement the `Copy` trait
| help: consider removing the `*`: `&x`
error: aborting due to 4 previous errors

66
src/test/ui/suggestions/dont-suggest-ref/duplicate-suggestions.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:39:27
|
LL | let &(X(_t), X(_u)) = &(x.clone(), x.clone());
| --------------- ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| --------------- ^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -14,11 +14,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | let &(X(_t), X(_u)) = &(x.clone(), x.clone());
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:43:50
|
LL | if let &(Either::One(_t), Either::Two(_u)) = &(e.clone(), e.clone()) { }
| ----------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ----------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -30,11 +30,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | if let &(Either::One(_t), Either::Two(_u)) = &(e.clone(), e.clone()) { }
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:47:53
|
LL | while let &(Either::One(_t), Either::Two(_u)) = &(e.clone(), e.clone()) { }
| ----------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ----------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -46,11 +46,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | while let &(Either::One(_t), Either::Two(_u)) = &(e.clone(), e.clone()) { }
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:51:11
|
LL | match &(e.clone(), e.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &(Either::One(_t), Either::Two(_u)) => (),
| -- -- ...and here
@ -77,11 +77,11 @@ help: consider removing the `&`
LL | (Either::Two(_t), Either::One(_u)) => (),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:61:11
|
LL | match &(e.clone(), e.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &(Either::One(_t), Either::Two(_u))
| -----------------------------------
@ -96,11 +96,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &(Either::One(_t), Either::Two(_u))
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:70:11
|
LL | match &(e.clone(), e.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &(Either::One(_t), Either::Two(_u)) => (),
| -----------------------------------
@ -115,11 +115,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &(Either::One(_t), Either::Two(_u)) => (),
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:78:11
|
LL | match &(e.clone(), e.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &(Either::One(_t), Either::Two(_u)) => (),
| -----------------------------------
@ -134,11 +134,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &(Either::One(_t), Either::Two(_u)) => (),
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:91:31
|
LL | let &mut (X(_t), X(_u)) = &mut (xm.clone(), xm.clone());
| ------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -150,11 +150,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | let &mut (X(_t), X(_u)) = &mut (xm.clone(), xm.clone());
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:95:54
|
LL | if let &mut (Either::One(_t), Either::Two(_u)) = &mut (em.clone(), em.clone()) { }
| --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -166,11 +166,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | if let &mut (Either::One(_t), Either::Two(_u)) = &mut (em.clone(), em.clone()) { }
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:99:57
|
LL | while let &mut (Either::One(_t), Either::Two(_u)) = &mut (em.clone(), em.clone()) { }
| --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| --------------------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
| | | |
| | | ...and here
| | data moved here
@ -182,11 +182,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | while let &mut (Either::One(_t), Either::Two(_u)) = &mut (em.clone(), em.clone()) { }
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:103:11
|
LL | match &mut (em.clone(), em.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| -- -- ...and here
@ -213,11 +213,11 @@ help: consider removing the `&mut`
LL | (Either::Two(_t), Either::One(_u)) => (),
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:113:11
|
LL | match &mut (em.clone(), em.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &mut (Either::One(_t), Either::Two(_u))
| ---------------------------------------
@ -232,11 +232,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &mut (Either::One(_t), Either::Two(_u))
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:122:11
|
LL | match &mut (em.clone(), em.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ---------------------------------------
@ -251,11 +251,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:130:11
|
LL | match &mut (em.clone(), em.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ---------------------------------------
@ -270,11 +270,11 @@ note: move occurs because these variables have types that don't implement the `C
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:138:11
|
LL | match &mut (em.clone(), em.clone()) {
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot move out of borrowed content
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
LL |
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ---------------------------------------
@ -289,7 +289,7 @@ note: move occurs because these variables have types that don't implement the `C
LL | &mut (Either::One(_t), Either::Two(_u)) => (),
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a shared reference
--> $DIR/duplicate-suggestions.rs:86:11
|
LL | fn f5(&(X(_t), X(_u)): &(X, X)) { }
@ -297,7 +297,6 @@ LL | fn f5(&(X(_t), X(_u)): &(X, X)) { }
| | | |
| | | ...and here
| | data moved here
| cannot move out of borrowed content
| help: consider removing the `&`: `(X(_t), X(_u))`
|
note: move occurs because these variables have types that don't implement the `Copy` trait
@ -306,7 +305,7 @@ note: move occurs because these variables have types that don't implement the `C
LL | fn f5(&(X(_t), X(_u)): &(X, X)) { }
| ^^ ^^
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of a mutable reference
--> $DIR/duplicate-suggestions.rs:146:11
|
LL | fn f6(&mut (X(_t), X(_u)): &mut (X, X)) { }
@ -314,7 +313,6 @@ LL | fn f6(&mut (X(_t), X(_u)): &mut (X, X)) { }
| | | |
| | | ...and here
| | data moved here
| cannot move out of borrowed content
| help: consider removing the `&mut`: `(X(_t), X(_u))`
|
note: move occurs because these variables have types that don't implement the `Copy` trait

342
src/test/ui/suggestions/dont-suggest-ref/move-into-closure.stderr
View File

@ -1,419 +1,281 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x.0`, as `x` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:28:21
|
LL | let x = X(Y);
| - captured outer variable
...
LL | let X(_t) = x;
| -- ^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&x`
| -- ^ help: consider borrowing here: `&x`
| |
| data moved here
|
note: move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:28:15
|
LL | let X(_t) = x;
| ^^
| move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:32:34
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | if let Either::One(_t) = e { }
| -- ^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&e`
| -- ^ help: consider borrowing here: `&e`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:32:28
|
LL | if let Either::One(_t) = e { }
| ^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:36:37
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | while let Either::One(_t) = e { }
| -- ^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&e`
| -- ^ help: consider borrowing here: `&e`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:36:31
|
LL | while let Either::One(_t) = e { }
| ^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:40:15
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | match e {
| ^
| |
| cannot move out of captured variable in an `Fn` closure
| help: consider borrowing here: `&e`
| ^ help: consider borrowing here: `&e`
...
LL | Either::One(_t)
| -- data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:44:25
|
LL | Either::One(_t)
| ^^
| --
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:47:15
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | match e {
| ^
| |
| cannot move out of captured variable in an `Fn` closure
| help: consider borrowing here: `&e`
| ^ help: consider borrowing here: `&e`
...
LL | Either::One(_t) => (),
| -- data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:51:25
|
LL | Either::One(_t) => (),
| ^^
| --
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x.0`, as `x` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:56:25
|
LL | let x = X(Y);
| - captured outer variable
...
LL | let X(mut _t) = x;
| ------ ^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&x`
| ------ ^ help: consider borrowing here: `&x`
| |
| data moved here
|
note: move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:56:15
|
LL | let X(mut _t) = x;
| ^^^^^^
| move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:60:38
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | if let Either::One(mut _t) = em { }
| ------ ^^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&em`
| ------ ^^ help: consider borrowing here: `&em`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:60:28
|
LL | if let Either::One(mut _t) = em { }
| ^^^^^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:64:41
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | while let Either::One(mut _t) = em { }
| ------ ^^
| | |
| | cannot move out of captured variable in an `Fn` closure
| | help: consider borrowing here: `&em`
| ------ ^^ help: consider borrowing here: `&em`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:64:31
|
LL | while let Either::One(mut _t) = em { }
| ^^^^^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:68:15
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | match em {
| ^^
| |
| cannot move out of captured variable in an `Fn` closure
| help: consider borrowing here: `&em`
| ^^ help: consider borrowing here: `&em`
...
LL | Either::One(mut _t)
| ------ data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:72:25
|
LL | Either::One(mut _t)
| ^^^^^^
| ------
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `Fn` closure
--> $DIR/move-into-closure.rs:75:15
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | match em {
| ^^
| |
| cannot move out of captured variable in an `Fn` closure
| help: consider borrowing here: `&em`
| ^^ help: consider borrowing here: `&em`
...
LL | Either::One(mut _t) => (),
| ------ data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:79:25
|
LL | Either::One(mut _t) => (),
| ^^^^^^
| ------
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `x.0`, as `x` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:95:21
|
LL | let x = X(Y);
| - captured outer variable
...
LL | let X(_t) = x;
| -- ^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&x`
| -- ^ help: consider borrowing here: `&x`
| |
| data moved here
|
note: move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:95:15
|
LL | let X(_t) = x;
| ^^
| move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:99:34
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | if let Either::One(_t) = e { }
| -- ^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&e`
| -- ^ help: consider borrowing here: `&e`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:99:28
|
LL | if let Either::One(_t) = e { }
| ^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:103:37
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | while let Either::One(_t) = e { }
| -- ^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&e`
| -- ^ help: consider borrowing here: `&e`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:103:31
|
LL | while let Either::One(_t) = e { }
| ^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:107:15
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | match e {
| ^
| |
| cannot move out of captured variable in an `FnMut` closure
| help: consider borrowing here: `&e`
| ^ help: consider borrowing here: `&e`
...
LL | Either::One(_t)
| -- data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:111:25
|
LL | Either::One(_t)
| ^^
| --
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `e.0`, as `e` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:114:15
|
LL | let e = Either::One(X(Y));
| - captured outer variable
...
LL | match e {
| ^
| |
| cannot move out of captured variable in an `FnMut` closure
| help: consider borrowing here: `&e`
| ^ help: consider borrowing here: `&e`
...
LL | Either::One(_t) => (),
| -- data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:118:25
|
LL | Either::One(_t) => (),
| ^^
| --
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `x.0`, as `x` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:123:25
|
LL | let x = X(Y);
| - captured outer variable
...
LL | let X(mut _t) = x;
| ------ ^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&x`
| ------ ^ help: consider borrowing here: `&x`
| |
| data moved here
|
note: move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:123:15
|
LL | let X(mut _t) = x;
| ^^^^^^
| move occurs because `_t` has type `Y`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:127:38
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | if let Either::One(mut _t) = em { }
| ------ ^^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&em`
| ------ ^^ help: consider borrowing here: `&em`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:127:28
|
LL | if let Either::One(mut _t) = em { }
| ^^^^^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:131:41
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | while let Either::One(mut _t) = em { }
| ------ ^^
| | |
| | cannot move out of captured variable in an `FnMut` closure
| | help: consider borrowing here: `&em`
| ------ ^^ help: consider borrowing here: `&em`
| |
| data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:131:31
|
LL | while let Either::One(mut _t) = em { }
| ^^^^^^
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:135:15
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | match em {
| ^^
| |
| cannot move out of captured variable in an `FnMut` closure
| help: consider borrowing here: `&em`
| ^^ help: consider borrowing here: `&em`
...
LL | Either::One(mut _t)
| ------ data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:139:25
|
LL | Either::One(mut _t)
| ^^^^^^
| ------
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:142:15
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | match em {
| ^^
| |
| cannot move out of captured variable in an `FnMut` closure
| help: consider borrowing here: `&em`
| ^^ help: consider borrowing here: `&em`
...
LL | Either::One(mut _t) => (),
| ------ data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:146:25
|
LL | Either::One(mut _t) => (),
| ^^^^^^
| ------
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `em.0`, as `em` is a captured variable in an `FnMut` closure
--> $DIR/move-into-closure.rs:150:15
|
LL | let mut em = Either::One(X(Y));
| ------ captured outer variable
...
LL | match em {
| ^^
| |
| cannot move out of captured variable in an `FnMut` closure
| help: consider borrowing here: `&em`
| ^^ help: consider borrowing here: `&em`
...
LL | Either::One(mut _t) => (),
| ------ data moved here
|
note: move occurs because `_t` has type `X`, which does not implement the `Copy` trait
--> $DIR/move-into-closure.rs:154:25
|
LL | Either::One(mut _t) => (),
| ^^^^^^
| ------
| |
| data moved here
| move occurs because `_t` has type `X`, which does not implement the `Copy` trait
error: aborting due to 21 previous errors

772
src/test/ui/suggestions/dont-suggest-ref/simple.stderr
View File

File diff suppressed because it is too large Load Diff

4
src/test/ui/suggestions/option-content-move.fixed
View File

@ -9,7 +9,7 @@ impl LipogramCorpora {
for selection in &self.selections {
if selection.1.is_some() {
if selection.1.as_ref().unwrap().contains(selection.0) {
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `selection.1`
return Err(selection.0);
}
}
@ -27,7 +27,7 @@ impl LipogramCorpora2 {
for selection in &self.selections {
if selection.1.is_ok() {
if selection.1.as_ref().unwrap().contains(selection.0) {
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `selection.1`
return Err(selection.0);
}
}

4
src/test/ui/suggestions/option-content-move.rs
View File

@ -9,7 +9,7 @@ impl LipogramCorpora {
for selection in &self.selections {
if selection.1.is_some() {
if selection.1.unwrap().contains(selection.0) {
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `selection.1`
return Err(selection.0);
}
}
@ -27,7 +27,7 @@ impl LipogramCorpora2 {
for selection in &self.selections {
if selection.1.is_ok() {
if selection.1.unwrap().contains(selection.0) {
//~^ ERROR cannot move out of borrowed content
//~^ ERROR cannot move out of `selection.1`
return Err(selection.0);
}
}

8
src/test/ui/suggestions/option-content-move.stderr
View File

@ -1,19 +1,19 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `selection.1` which is behind a shared reference
--> $DIR/option-content-move.rs:11:20
|
LL | if selection.1.unwrap().contains(selection.0) {
| ^^^^^^^^^^^
| |
| cannot move out of borrowed content
| move occurs because `selection.1` has type `std::option::Option<std::string::String>`, which does not implement the `Copy` trait
| help: consider borrowing the `Option`'s content: `selection.1.as_ref()`
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `selection.1` which is behind a shared reference
--> $DIR/option-content-move.rs:29:20
|
LL | if selection.1.unwrap().contains(selection.0) {
| ^^^^^^^^^^^
| |
| cannot move out of borrowed content
| move occurs because `selection.1` has type `std::result::Result<std::string::String, std::string::String>`, which does not implement the `Copy` trait
| help: consider borrowing the `Result`'s content: `selection.1.as_ref()`
error: aborting due to 2 previous errors

4
src/test/ui/trivial-bounds/trivial-bounds-leak-copy.stderr
View File

@ -1,8 +1,8 @@
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*t` which is behind a shared reference
--> $DIR/trivial-bounds-leak-copy.rs:9:5
|
LL | *t
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*t` has type `std::string::String`, which does not implement the `Copy` trait
error: aborting due to previous error

16
src/test/ui/unboxed-closures/unboxed-closure-illegal-move.stderr
View File

@ -1,34 +1,34 @@
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x`, a captured variable in an `Fn` closure
--> $DIR/unboxed-closure-illegal-move.rs:15:31
|
LL | let x = Box::new(0);
| - captured outer variable
LL | let f = to_fn(|| drop(x));
| ^ cannot move out of captured variable in an `Fn` closure
| ^ move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `x`, a captured variable in an `FnMut` closure
--> $DIR/unboxed-closure-illegal-move.rs:19:35
|
LL | let x = Box::new(0);
| - captured outer variable
LL | let f = to_fn_mut(|| drop(x));
| ^ cannot move out of captured variable in an `FnMut` closure
| ^ move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `Fn` closure
error[E0507]: cannot move out of `x`, a captured variable in an `Fn` closure
--> $DIR/unboxed-closure-illegal-move.rs:28:36
|
LL | let x = Box::new(0);
| - captured outer variable
LL | let f = to_fn(move || drop(x));
| ^ cannot move out of captured variable in an `Fn` closure
| ^ move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
error[E0507]: cannot move out of captured variable in an `FnMut` closure
error[E0507]: cannot move out of `x`, a captured variable in an `FnMut` closure
--> $DIR/unboxed-closure-illegal-move.rs:32:40
|
LL | let x = Box::new(0);
| - captured outer variable
LL | let f = to_fn_mut(move || drop(x));
| ^ cannot move out of captured variable in an `FnMut` closure
| ^ move occurs because `x` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
error: aborting due to 4 previous errors

4
src/test/ui/unop-move-semantics.rs
View File

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

8
src/test/ui/unop-move-semantics.stderr
View File

@ -34,17 +34,17 @@ LL | !y;
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 `*m` which is behind a mutable reference
--> $DIR/unop-move-semantics.rs:24:6
|
LL | !*m;
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*m` has type `T`, which does not implement the `Copy` trait
error[E0507]: cannot move out of borrowed content
error[E0507]: cannot move out of `*n` which is behind a shared reference
--> $DIR/unop-move-semantics.rs:26:6
|
LL | !*n;
| ^^ cannot move out of borrowed content
| ^^ move occurs because `*n` has type `T`, which does not implement the `Copy` trait
error: aborting due to 5 previous errors

5
src/test/ui/unsized-locals/unsized-exprs2.stderr
View File

@ -2,7 +2,10 @@ error[E0508]: cannot move out of type `[u8]`, a non-copy slice
--> $DIR/unsized-exprs2.rs:22:19
|
LL | udrop::<[u8]>(foo()[..]);
| ^^^^^^^^^ cannot move out of here
| ^^^^^^^^^
| |
| cannot move out of here
| move occurs because value has type `[u8]`, which does not implement the `Copy` trait
error: aborting due to previous error