summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-assign-comp-idx.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-assign-comp-idx.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-assign-comp-idx.rs39
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() {
-}