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

    fun t0(x: bool, r: R) {
        !&true;
        !&false;
        !0;
        !1;
        !r;
        !r;
        !(0, false);
        !();
    }
}