//# publish

// testing valid usages of == and != over references
module 0x1.Tester {
    eqtest1() {
        let x: u64;
        let r: &mut u64;
    label b0:
        x = 0;
        r = &mut x;
        _ = freeze(copy(r)) == freeze(copy(r));
        return;
    }

    eqtest2() {
        let x: u64;
        let r: &mut u64;
    label b0:
        x = 0;
        r = &mut x;
        _ = freeze(copy(r)) == freeze(move(r));
        return;
    }

    neqtest1() {
        let x: u64;
        let r: &mut u64;
    label b0:
        x = 0;
        r = &mut x;
        _ = freeze(copy(r)) != freeze(copy(r));
        return;
    }

    neqtest2() {
        let x: u64;
        let r: &mut u64;
    label b0:
        x = 0;
        r = &mut x;
        _ = freeze(copy(r)) != freeze(move(r));
        return;
    }
}