rust/src/test/run-fail/borrowck-wg-mut-then-imm.rs
2013-05-05 21:05:37 -04:00

20 lines
247 B
Rust

// 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);
}