//# publish
module 0x1.M {
    t1() {
        let x: u64;
        let y: &u64;
    label b0:
        x = 0;
        y = &x;
        y = &x; // it is okay to write to a local holding a reference, even if immutable
        return;
    }
}