1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// Test that moving on both sides of an `@` pattern is not allowed.
fn main() {
struct U; // Not copy!
// Prevent promotion:
fn u() -> U {
U
}
let a @ b = U; //~ ERROR use of moved value
let a @ (b, c) = (U, U); //~ ERROR use of partially moved value
let a @ (b, c) = (u(), u()); //~ ERROR use of partially moved value
match Ok(U) {
a @ Ok(b) | a @ Err(b) => {} //~ ERROR use of moved value
//~^ ERROR use of moved value
}
fn fun(a @ b: U) {} //~ ERROR use of moved value
match [u(), u(), u(), u()] {
xs @ [a, .., b] => {} //~ ERROR use of partially moved value
}
match [u(), u(), u(), u()] {
xs @ [_, ys @ .., _] => {} //~ ERROR use of partially moved value
}
}
|
