diff options
Diffstat (limited to 'src/test/ui/borrowck/borrowck-assign-comp-idx.rs')
-rw-r--r-- | src/test/ui/borrowck/borrowck-assign-comp-idx.rs | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/borrowck/borrowck-assign-comp-idx.rs b/src/test/ui/borrowck/borrowck-assign-comp-idx.rs deleted file mode 100644 index f4dffeb8c..000000000 --- a/src/test/ui/borrowck/borrowck-assign-comp-idx.rs +++ /dev/null @@ -1,39 +0,0 @@ -struct Point { - x: isize, - y: isize, -} - -fn a() { - let mut p = vec![1]; - - // Create an immutable pointer into p's contents: - let q: &isize = &p[0]; - - p[0] = 5; //~ ERROR cannot borrow - - println!("{}", *q); -} - -fn borrow<F>(_x: &[isize], _f: F) where F: FnOnce() {} - -fn b() { - // here we alias the mutable vector into an imm slice and try to - // modify the original: - - let mut p = vec![1]; - - borrow( - &p, - || p[0] = 5); //~ ERROR cannot borrow `p` as mutable -} - -fn c() { - // Legal because the scope of the borrow does not include the - // modification: - let mut p = vec![1]; - borrow(&p, ||{}); - p[0] = 5; -} - -fn main() { -} |