module 0x8675309::M {
    struct R {f: u64}

    fun t0() {
        let (x, x);
        let (f, R{f}, f);
        x = 0;
        f = 0;
    }
}