rust/src/test/run-fail/borrowck-wg-mut-then-imm.rs

20 lines
247 B
Rust
Raw Normal View History

2013-05-05 20:05:37 -05:00
// error-pattern:borrowed
// Test that if you mut borrow then imm borrow it fails.
fn add1(a:@mut int)
{
add2(a); // already frozen
}
fn add2(_:&int)
{
}
pub fn main()
{
let a = @mut 3;
let b = &mut *a; // freezes a
add1(a);
}