Skip to content
Permalink
Browse files

Added test for deref projection.

  • Loading branch information...
pnkfelix committed Jun 21, 2019
1 parent 681af62 commit 241ceeda046b23651aec95a6bd59cca7aaa69ecc
Showing with 27 additions and 0 deletions.
  1. +27 −0 src/test/run-pass/borrowck/issue-62007-assign-box.rs
@@ -0,0 +1,27 @@
// run-pass

// Issue #62007: assigning over a deref projection of a box (in this
// case, `*list = n;`) should be able to kill all borrows of `*list`,
// so that `*list` can be borrowed on the next iteration through the
// loop.

#![allow(dead_code)]

struct List<T> {
value: T,
next: Option<Box<List<T>>>,
}

fn to_refs<T>(mut list: Box<&mut List<T>>) -> Vec<&mut T> {
let mut result = vec![];
loop {
result.push(&mut list.value);
if let Some(n) = list.next.as_mut() {
*list = n;
} else {
return result;
}
}
}

fn main() {}

0 comments on commit 241ceed

Please sign in to comment.
You can’t perform that action at this time.