main() {
    let x: u64;
    let x_ref: &u64;
    let no: bool;
    x = 0;
    x_ref = &x;
    no = 0 == move(x_ref);
    return;
}

// check: VerificationFailure
// check: EqualityOpTypeMismatchError