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

    fun t0(x: bool, r: R) {
        true || false;
        false || true;
        true || false;
        (true) || (true);
        copy x || move x;
        r.f || r.f;
        true || false || (true || false);
        let R {f: _} = r;
    }
}