| - value moved here
LL | }
LL | let z = x; //[ast]~ ERROR use of moved value: `x`
- | ^ value used here after move
+ | ^ value used here after partial move
error[E0503]: cannot use `x` because it was mutably borrowed
--> $DIR/borrowck-asm.rs:35:32
| - move occurs because `x` has type `&mut i32`, which does not implement the `Copy` trait
LL | unsafe {
LL | asm!("nop" : : "r"(x), "r"(x) ); //[ast]~ ERROR use of moved value
- | - ^ value used here after move
+ | - ^ value used here after partial move
| |
| value moved here
LL | drop(x);
| - value moved here
LL | drop(x); //[ast]~ ERROR use of moved value: `x`
- | ^ value used here after move
+ | ^ value used here after partial move
|
= note: move occurs because `x` has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
| ------ value moved here
LL | Some(_) => {}
LL | None => { foo(my_str); } //~ ERROR [E0382]
- | ^^^^^^ value used here after move
+ | ^^^^^^ value used here after partial move
error: aborting due to previous error
LL | {src};
| --- value moved here
LL | src.next = None; //~ ERROR use of moved value: `src` [E0382]
- | ^^^^^^^^ value used here after move
+ | ^^^^^^^^ value used here after partial move
error[E0382]: use of moved value: `src`
--> $DIR/borrowck-issue-48962.rs:22:5
LL | {src};
| --- value moved here
LL | src.0 = 66; //~ ERROR use of moved value: `src` [E0382]
- | ^^^^^^^^^^ value used here after move
+ | ^^^^^^^^^^ value used here after partial move
error: aborting due to 2 previous errors
LL | call_f(move|| { *t + 1 }); //[ast]~ ERROR capture of moved value
| ^^^^^^ - use occurs due to use in closure
| |
- | value used here after move
+ | value used here after partial move
error: aborting due to previous error
LL | let [_, _x] = a;
| -- value moved here
LL | let [.., _y] = a; //[ast]~ ERROR [E0382]
- | ^^ value used here after move
+ | ^^ value used here after partial move
|
= note: move occurs because `a[..]` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
LL | let [_x, _] = a;
| -- value moved here
LL | let [_y..] = a; //[ast]~ ERROR [E0382]
- | ^^ value used here after move
+ | ^^ value used here after partial move
|
= note: move occurs because `a[..]` has type `std::boxed::Box<i32>`, which does not implement the `Copy` trait
LL | drop(x);
| - value moved here
LL | let _ = (1,x); //~ ERROR use of moved value: `x` (Ast)
- | ^ value used here after move
+ | ^ value used here after partial move
error: aborting due to 2 previous errors
LL | drop(t);
| - value moved here
LL | t.0 = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error[E0382]: assign to part of moved value: `u`
--> $DIR/issue-54499-field-mutation-of-moved-out-with-mut.rs:34:9
LL | drop(u);
| - value moved here
LL | u.0 = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error[E0382]: assign to part of moved value: `v`
--> $DIR/issue-54499-field-mutation-of-moved-out-with-mut.rs:45:9
LL | drop(v);
| - value moved here
LL | v.x = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error: aborting due to 3 previous errors
LL | drop(t);
| - value moved here
LL | t.0 = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error[E0594]: cannot assign to `t.1`, as `t` is not declared as mutable
--> $DIR/issue-54499-field-mutation-of-moved-out.rs:27:9
LL | drop(u);
| - value moved here
LL | u.0 = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error[E0594]: cannot assign to `u.1`, as `u` is not declared as mutable
--> $DIR/issue-54499-field-mutation-of-moved-out.rs:42:9
LL | drop(v);
| - value moved here
LL | v.x = S(1);
- | ^^^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^^^ value partially assigned here after partial move
error[E0594]: cannot assign to `v.y`, as `v` is not declared as mutable
--> $DIR/issue-54499-field-mutation-of-moved-out.rs:57:9
LL | fn twice_ten_so<F: FnOnce(i32) -> i32>(f: Box<F>) {
| - consider adding a `Copy` constraint to this type argument
LL | f(f(10));
- | - ^ value used here after move
+ | - ^ value used here after partial move
| |
| value moved here
|
--> $DIR/two-phase-nonrecv-autoref.rs:85:11
|
LL | f(f(10));
- | - ^ value used here after move
+ | - ^ value used here after partial move
| |
| value moved here
|
| - value moved here
...
LL | s
- | ^ value used here after move
+ | ^ value used here after partial move
error: aborting due to previous error
| - value moved here
LL | };
LL | x.zero()
- | ^ value used here after move
+ | ^ value used here after partial move
error: aborting due to previous error
LL | fn dup(x: Box<isize>) -> Box<(Box<isize>,Box<isize>)> {
| - move occurs because `x` has type `std::boxed::Box<isize>`, which does not implement the `Copy` trait
LL | box (x, x)
- | - ^ value used here after move
+ | - ^ value used here after partial move
| |
| value moved here
LL | || x.len(); //~ ERROR
| ^^ - borrow occurs due to use in closure
| |
- | value borrowed here after move
+ | value borrowed here after partial move
error[E0382]: borrow of moved value: `x`
--> $DIR/closure-access-spans.rs:42:5
LL | || x = String::new(); //~ ERROR
| ^^ - borrow occurs due to use in closure
| |
- | value borrowed here after move
+ | value borrowed here after partial move
error[E0382]: borrow of moved value: `x`
--> $DIR/closure-access-spans.rs:47:5
LL | || *x = String::new(); //~ ERROR
| ^^ - borrow occurs due to use in closure
| |
- | value borrowed here after move
+ | value borrowed here after partial move
error[E0382]: use of moved value: `x`
--> $DIR/closure-access-spans.rs:52:5
LL | || x; //~ ERROR
| ^^ - use occurs due to use in closure
| |
- | value used here after move
+ | value used here after partial move
error: aborting due to 9 previous errors
| |
| value moved into closure here
LL | let y = x; //~ ERROR
- | ^ value used here after move
+ | ^ value used here after partial move
error[E0382]: borrow of moved value: `x`
--> $DIR/closure-move-spans.rs:12:13
| |
| value moved into closure here
LL | let y = &x; //~ ERROR
- | ^^ value borrowed here after move
+ | ^^ value borrowed here after partial move
error[E0382]: borrow of moved value: `x`
--> $DIR/closure-move-spans.rs:17:13
| |
| value moved into closure here
LL | let y = &mut x; //~ ERROR
- | ^^^^^^ value borrowed here after move
+ | ^^^^^^ value borrowed here after partial move
error: aborting due to 3 previous errors
| -------------- value moved here
...
LL | wrapper.inner,
- | ^^^^^^^^^^^^^ value used here after move
+ | ^^^^^^^^^^^^^ value used here after partial move
|
= note: move occurs because `wrapper.inner` has type `NonCopy`, which does not implement the `Copy` trait
LL | drop(d);
| - value moved here
LL | d.x = 10;
- | ^^^^^^^^ value assigned here after move
+ | ^^^^^^^^ value assigned here after partial move
error[E0381]: assign to part of possibly uninitialized variable: `d`
--> $DIR/issue-21232-partial-init-and-erroneous-use.rs:49:5
| |
| move occurs because `s` has type `S<std::boxed::Box<u32>>`, which does not implement the `Copy` trait
LL | s.x = 10; s.y = Box::new(20);
- | ^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^ value partially assigned here after partial move
error[E0382]: assign to part of moved value: `t`
--> $DIR/issue-21232-partial-init-and-use.rs:120:5
| |
| move occurs because `t` has type `(u32, std::boxed::Box<u32>)`, which does not implement the `Copy` trait
LL | t.0 = 10; t.1 = Box::new(20);
- | ^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^ value partially assigned here after partial move
error[E0381]: assign to part of possibly uninitialized variable: `s`
--> $DIR/issue-21232-partial-init-and-use.rs:127:5
| |
| move occurs because `s` has type `S<std::boxed::Box<u32>>`, which does not implement the `Copy` trait
LL | s.x = 10;
- | ^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^ value partially assigned here after partial move
error[E0382]: assign to part of moved value: `t`
--> $DIR/issue-21232-partial-init-and-use.rs:148:5
| |
| move occurs because `t` has type `(u32, std::boxed::Box<u32>)`, which does not implement the `Copy` trait
LL | t.0 = 10;
- | ^^^^^^^^ value partially assigned here after move
+ | ^^^^^^^^ value partially assigned here after partial move
error[E0381]: assign to part of possibly uninitialized variable: `s`
--> $DIR/issue-21232-partial-init-and-use.rs:155:5
LL | c2 => {
| -- value moved here
LL | c.0 = 2; //~ ERROR assign to part of moved value
- | ^^^^^^^ value partially assigned here after move
+ | ^^^^^^^ value partially assigned here after partial move
error[E0382]: assign to part of moved value: `c`
--> $DIR/issue-21232-partial-init-and-use.rs:269:13
LL | drop(x.0);
| --- value moved here
LL | drop(x); //~ ERROR use of moved value
- | ^ value used here after move
+ | ^ value used here after partial move
|
= note: move occurs because `x.0` has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
| - value moved here
...
LL | ::std::mem::drop(k); //~ ERROR use of moved value: `k`
- | ^ value used here after move
+ | ^ value used here after partial move
error[E0506]: cannot assign to `i` because it is borrowed
--> $DIR/try-block-bad-lifetime.rs:32:9
| - value moved here
LL | };
LL | println!("{}", x); //~ ERROR borrow of moved value: `x`
- | ^ value borrowed here after move
+ | ^ value borrowed here after partial move
error[E0506]: cannot assign to `i` because it is borrowed
--> $DIR/try-block-maybe-bad-lifetime.rs:40:9