[rustc.git] / src / test / ui / borrowck / borrowck-assign-to-subfield.rs

// run-pass
// pretty-expanded FIXME #23616

pub fn main() {
    struct A {
        a: isize,
        w: B,
    }
    struct B {
        a: isize
    }
    let mut p = A {
        a: 1,
        w: B {a: 1},
    };

    // even though `x` is not declared as a mutable field,
    // `p` as a whole is mutable, so it can be modified.
    p.a = 2;

    // this is true for an interior field too
    p.w.a = 2;
}
Commit	Line	Data
b7449926	1	// run-pass
c34b1796 AL	2	// pretty-expanded FIXME #23616
c34b1796 AL	3
1a4d82fc	4	pub fn main() {
223e47cc	5	struct A {
c34b1796	6	a: isize,
223e47cc	7	w: B,
223e47cc LB	8	}
223e47cc LB	9	struct B {
c34b1796	10	a: isize
223e47cc LB	11	}
	12	let mut p = A {
	13	a: 1,
	14	w: B {a: 1},
223e47cc LB	15	};
	16
	17	// even though `x` is not declared as a mutable field,
	18	// `p` as a whole is mutable, so it can be modified.
	19	p.a = 2;
	20
	21	// this is true for an interior field too
	22	p.w.a = 2;
223e47cc	23	}