diff options
Diffstat (limited to 'src/test/ui/nll/polonius/assignment-to-differing-field.rs')
-rw-r--r-- | src/test/ui/nll/polonius/assignment-to-differing-field.rs | 49 |
1 files changed, 0 insertions, 49 deletions
diff --git a/src/test/ui/nll/polonius/assignment-to-differing-field.rs b/src/test/ui/nll/polonius/assignment-to-differing-field.rs deleted file mode 100644 index 7ec3b9049..000000000 --- a/src/test/ui/nll/polonius/assignment-to-differing-field.rs +++ /dev/null @@ -1,49 +0,0 @@ -#![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() {} |