module 0x8675309::M {
    struct S has copy, drop { f: u64 }
    struct Nat<T> has drop { f: T }
    struct R { s: S, f: u64, n1: Nat<u64>, n2: Nat<S> }

    fun t0() {
        (S { } : S);
        R {s:_, f:_, n1:_, n2:_} = (R { s: S{f: 0}, n1: Nat{f: 0}, f: 0, } : R);

        let f = 0;
        let s = S{ f: 0 };
        let n1 = Nat { f };
        let n2 = Nat { f: *&s };
        R {s:_, f:_, n1:_, n2:_} = (R { s, n2, n1 }: R);

        (Nat { f: Nat { f: Nat { }}}: Nat<Nat<Nat<S>>>);
    }
}