// ERROR:7:borrow
unit badri2;

fn bad() -> void {
    var xs: [2]i32 = [1, 2];
    let a = &mut xs[0];
    let b = &mut xs[1];
    a.^ = 3;
    b.^ = 4;
}