blob: 7ec3b9049fd581b3b805851ccacb009f89574f5f (
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
|
#![allow(dead_code)]
// Compared to `assignment-kills-loans.rs`, we check here
// that we do not kill too many borrows. Assignments to the `.1`
// field projections should leave the borrows on `.0` intact.
// compile-flags: -Z polonius
struct List<T> {
value: T,
next: Option<Box<List<T>>>,
}
fn assignment_to_field_projection<'a, T>(
mut list: (&'a mut List<T>, &'a mut List<T>),
) -> Vec<&'a mut T> {
let mut result = vec![];
loop {
result.push(&mut (list.0).value);
//~^ ERROR cannot borrow `list.0.value` as mutable
if let Some(n) = (list.0).next.as_mut() {
//~^ ERROR cannot borrow `list.0.next` as mutable
list.1 = n;
} else {
return result;
}
}
}
fn assignment_through_projection_chain<'a, T>(
mut list: (((((Box<&'a mut List<T>>, Box<&'a mut List<T>>),),),),),
) -> Vec<&'a mut T> {
let mut result = vec![];
loop {
result.push(&mut ((((list.0).0).0).0).0.value);
//~^ ERROR cannot borrow `list.0.0.0.0.0.value` as mutable
if let Some(n) = ((((list.0).0).0).0).0.next.as_mut() {
//~^ ERROR cannot borrow `list.0.0.0.0.0.next` as mutable
*((((list.0).0).0).0).1 = n;
} else {
return result;
}
}
}
fn main() {}
|
