module 0x8675309::M {
    struct S has drop { u: u64 }
    struct R {
        f: u64
    }
    struct G<T> has drop { f: T }

    fun t0(r: &R, r_mut: &mut R, s: S, s_ref: &S, s_mut: &mut S) {
        (0 == 1: bool);
        (0 == (1: u8): bool);
        ((0: u8) == 1: bool);
        (0 == (1: u128): bool);
        ((0: u128) == 1: bool);
        (&0 == &1: bool);
        (true == false: bool);
        (0x0 == 0x1: bool);
        (&s == s_ref: bool);
        (&mut s == s_ref: bool);
        (&mut s == s_mut: bool);
        (&s == s_mut: bool);
        (s_ref == s_mut: bool);
        (s_mut == s_mut: bool);
        (S{u: 0} == s: bool);
        (r == r: bool);
        (r_mut == r_mut: bool);
        (r == r_mut: bool);
        (r_mut == r: bool);
        (G { f: 1 } == G<u64> { f: 1 }: bool);
        (G<u64> { f: 1 } == G { f: 1 }: bool);
    }
}