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

    fun t0(x: u64, r: R, s: S) {
        0 || 1;
        1 || false;
        false || 1;
        @0x0 || @0x1;
        (0: u8) || (1: u128);
        r || r;
        s || s;
        () || ();
        true || ();
        (true, false) || (true, false, true);
        (true, true) || (false, false);
    }
}