blob: 4a52d8d32064f27d55d1b391edeccec17c51048c (
plain)
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
|
// Tests that references to move-by-default values trigger moves when
// they occur as part of various kinds of expressions.
struct Foo<A> { f: A }
fn guard(_s: String) -> bool {panic!()}
fn touch<A>(_a: &A) {}
fn f10() {
let x = "hi".to_string();
let _y = Foo { f:x };
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f20() {
let x = "hi".to_string();
let _y = (x, 3);
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f21() {
let x = vec![1, 2, 3];
let _y = (x[0], 3);
touch(&x);
}
fn f30(cond: bool) {
let x = "hi".to_string();
let y = "ho".to_string();
let _y = if cond {
x
} else {
y
};
touch(&x); //~ ERROR borrow of moved value: `x`
touch(&y); //~ ERROR borrow of moved value: `y`
}
fn f40(cond: bool) {
let x = "hi".to_string();
let y = "ho".to_string();
let _y = match cond {
true => x,
false => y
};
touch(&x); //~ ERROR borrow of moved value: `x`
touch(&y); //~ ERROR borrow of moved value: `y`
}
fn f50(cond: bool) {
let x = "hi".to_string();
let y = "ho".to_string();
let _y = match cond {
_ if guard(x) => 10,
true => 10,
false => 20,
};
touch(&x); //~ ERROR borrow of moved value: `x`
touch(&y);
}
fn f70() {
let x = "hi".to_string();
let _y = [x];
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f80() {
let x = "hi".to_string();
let _y = vec![x];
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f100() {
let x = vec!["hi".to_string()];
let _y = x.into_iter().next().unwrap();
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f110() {
let x = vec!["hi".to_string()];
let _y = [x.into_iter().next().unwrap(); 1];
touch(&x); //~ ERROR borrow of moved value: `x`
}
fn f120() {
let mut x = vec!["hi".to_string(), "ho".to_string()];
x.swap(0, 1);
touch(&x[0]);
touch(&x[1]);
}
fn main() {}
|
