module 0x8675309::M {
    struct S has drop { f: u64 }
    struct R { s1: S, s2: S }

    fun t0() {
        let R { s1: S { f }, s2 }: R = R { s1: S{f: 0}, s2: S{f: 1} }; f; s2;
        f = 0;
        s2 = S { f: 0 };
        f; s2;
    }

    fun t1() {
        let R { s1: S { f }, s2 }: &R = &R { s1: S{f: 0}, s2: S{f: 1} }; f; s2;
        f = &0;
        s2 = &S { f: 0 };
        f; s2;
    }

    fun t2() {
        let R { s1: S { f }, s2 }: &mut R = &mut R { s1: S{f: 0}, s2: S{f: 1} }; f; s2;
        f = &mut 0;
        s2 = &mut S { f: 0 };
        f; s2;
    }
}