---

yaml
---
r: 12778
b: refs/heads/master
c: a6b9fa0
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 63eb8e0e8784ad8cc126bf80a9267c30b4a3a82a
+refs/heads/master: a6b9fa0cd1a6eb29a127e05d10910d8b8f194f59
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/test/compile-fail/borrowck-loan-vec-content.rs

@@ -0,0 +1,36 @@
+// compile-flags:--borrowck=err
+
+// Here we check that it is allowed to lend out an element of a
+// (locally rooted) mutable, unique vector, and that we then prevent
+// modifications to the contents.
+
+fn takes_imm_elt(_v: &int, f: fn()) {
+    f();
+}
+
+fn has_mut_vec_and_does_not_try_to_change_it() {
+    let v = [mut 1, 2, 3];
+    takes_imm_elt(&v[0]) {||
+    }
+}
+
+fn has_mut_vec_but_tries_to_change_it() {
+    let v = [mut 1, 2, 3];
+    takes_imm_elt(&v[0]) {|| //! NOTE loan of mutable vec content granted here
+        v[1] = 4; //! ERROR assigning to mutable vec content prohibited due to outstanding loan
+    }
+}
+
+fn takes_const_elt(_v: &const int, f: fn()) {
+    f();
+}
+
+fn has_mut_vec_and_tries_to_change_it() {
+    let v = [mut 1, 2, 3];
+    takes_const_elt(&const v[0]) {||
+        v[1] = 4;
+    }
+}
+
+fn main() {
+}