// error-pattern: mismatched types
fn main() {
let v = [mutable [mutable 0]];
fn f(&&v: [mutable [const int]]) {
v[0] = [3]
}
f(v);