| // Copyright 2012 The Rust Project Developers. See the COPYRIGHT |
| // file at the top-level directory of this distribution and at |
| // http://rust-lang.org/COPYRIGHT. |
| // |
| // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| // option. This file may not be copied, modified, or distributed |
| // except according to those terms. |
| |
| // 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. |
| |
| #![feature(box_syntax)] |
| |
| 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 (**v + 1); |
| } |
| |
| fn pre_freeze() { |
| // In this instance, the freeze starts before the mut borrow. |
| |
| let mut v: Box<_> = box 3; |
| let _w = &v; |
| borrow_mut(&mut *v); //~ ERROR cannot borrow |
| } |
| |
| fn post_freeze() { |
| // In this instance, the const alias starts after the borrow. |
| |
| let mut v: Box<_> = box 3; |
| borrow_mut(&mut *v); |
| let _w = &v; |
| } |
| |
| fn main() {} |