--bless you

This commit is contained in:
Mazdak Farrokhzad 2020-04-10 18:22:24 +02:00
parent 1ff99b724c
commit 22ea3a4476

View File

@ -32,19 +32,19 @@ LL | match mm { (_, _) => { } }
error[E0382]: use of moved value: `m`
--> $DIR/issue-53114-borrow-checks.rs:36:16
|
34 | let m = M;
LL | let m = M;
| - move occurs because `m` has type `M`, which does not implement the `Copy` trait
35 | drop(m);
LL | drop(m);
| - value moved here
36 | if let _ = m { } // #53114: should eventually be accepted too
LL | if let _ = m { } // #53114: should eventually be accepted too
| ^ value used here after move
error[E0382]: use of moved value: `mm`
--> $DIR/issue-53114-borrow-checks.rs:41:22
|
40 | if let (_x, _) = mm { }
LL | if let (_x, _) = mm { }
| -- value moved here
41 | if let (_, _y) = mm { }
LL | if let (_, _y) = mm { }
| ^^ value used here after partial move
|
= note: move occurs because `mm.0` has type `M`, which does not implement the `Copy` trait
@ -52,10 +52,10 @@ error[E0382]: use of moved value: `mm`
error[E0382]: use of moved value: `mm`
--> $DIR/issue-53114-borrow-checks.rs:43:21
|
41 | if let (_, _y) = mm { }
LL | if let (_, _y) = mm { }
| -- value moved here
42 |
43 | if let (_, _) = mm { }
LL |
LL | if let (_, _) = mm { }
| ^^ value used here after partial move
|
= note: move occurs because `mm.1` has type `M`, which does not implement the `Copy` trait