summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-loan-vec-content.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-loan-vec-content.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-loan-vec-content.rs24
1 files changed, 0 insertions, 24 deletions
diff --git a/src/test/ui/borrowck/borrowck-loan-vec-content.rs b/src/test/ui/borrowck/borrowck-loan-vec-content.rs
deleted file mode 100644
index 300ec88c5..000000000
--- a/src/test/ui/borrowck/borrowck-loan-vec-content.rs
+++ /dev/null
@@ -1,24 +0,0 @@
-// 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<F>(_v: &isize, f: F) where F: FnOnce() {
- f();
-}
-
-fn has_mut_vec_and_does_not_try_to_change_it() {
- let mut v: Vec<isize> = vec![1, 2, 3];
- takes_imm_elt(&v[0], || {})
-}
-
-fn has_mut_vec_but_tries_to_change_it() {
- let mut v: Vec<isize> = vec![1, 2, 3];
- takes_imm_elt(
- &v[0],
- || { //~ ERROR cannot borrow `v` as mutable
- v[1] = 4;
- })
-}
-
-fn main() {
-}