// error-pattern: mismatched types

use std;

fn main() {
    let a = ~[0];
    let v: *mut ~[int] = ptr::mut_addr_of(a);

    fn f(&&v: *mut ~[const int]) {
        unsafe {
            *v = ~[mut 3]
        }
    }

    f(v);
}
