tests/ui/borrowck/reassignment_immutable_fields_twice.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// This should never be allowed -- since `x` is not `mut`, so `x.0`
// cannot be assigned twice.

fn var_then_field() {
    let x: (u32, u32);
    x = (22, 44);
    x.0 = 1; //~ ERROR
}

fn same_field_twice() {
    let x: (u32, u32);
    x.0 = 1; //~ ERROR
    x.0 = 22;
    x.1 = 44;
}

fn main() { }