summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-lend-flow.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-lend-flow.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-lend-flow.rs39
1 files changed, 0 insertions, 39 deletions
diff --git a/src/test/ui/borrowck/borrowck-lend-flow.rs b/src/test/ui/borrowck/borrowck-lend-flow.rs
deleted file mode 100644
index 564c57044..000000000
--- a/src/test/ui/borrowck/borrowck-lend-flow.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-// Note: the borrowck analysis is currently flow-insensitive.
-// Therefore, some of these errors are marked as spurious and could be
-// corrected by a simple change to the analysis. The others are
-// either genuine or would require more advanced changes. The latter
-// cases are noted.
-
-
-
-fn borrow(_v: &isize) {}
-fn borrow_mut(_v: &mut isize) {}
-fn cond() -> bool { panic!() }
-fn for_func<F>(_f: F) where F: FnOnce() -> bool { panic!() }
-fn produce<T>() -> T { panic!(); }
-
-fn inc(v: &mut Box<isize>) {
- *v = Box::new(**v + 1);
-}
-
-fn pre_freeze() {
- // In this instance, the freeze starts before the mut borrow.
-
- let mut v: Box<_> = Box::new(3);
- let _w = &v;
- borrow_mut(&mut *v); //~ ERROR cannot borrow
- _w.use_ref();
-}
-
-fn post_freeze() {
- // In this instance, the const alias starts after the borrow.
-
- let mut v: Box<_> = Box::new(3);
- borrow_mut(&mut *v);
- let _w = &v;
-}
-
-fn main() {}
-
-trait Fake { fn use_mut(&mut self) { } fn use_ref(&self) { } }
-impl<T> Fake for T { }