error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:13:17 │ 13 │ (0: u8) != (1: u128); │ -- ^^ ---- Found: 'u128'. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '!=' │ Found: 'u8'. It is not compatible with the other type. error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:14:11 │ 14 │ 0 != false; │ - ^^ ----- Found: 'bool'. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '!=' │ Found: integer. It is not compatible with the other type. error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:15:12 │ 15 │ &0 != 1; │ -- ^^ - Found: integer. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '!=' │ Found: '&{integer}'. It is not compatible with the other type. error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:16:11 │ 16 │ 1 != &0; │ - ^^ -- Found: '&{integer}'. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '!=' │ Found: integer. It is not compatible with the other type. error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:17:9 │ 2 │ struct S { u: u64 } │ - To satisfy the constraint, the 'drop' ability would need to be added here · 12 │ fun t0(r: &R, r_mut: &mut R, s: S, s_ref: &S, s_mut: &mut S) { │ - The type '0x8675309::M::S' does not have the ability 'drop' · 17 │ s != s_ref; │ ^ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:17:11 │ 12 │ fun t0(r: &R, r_mut: &mut R, s: S, s_ref: &S, s_mut: &mut S) { │ - -- Found: '&0x8675309::M::S'. It is not compatible with the other type. │ │ │ Found: '0x8675309::M::S'. It is not compatible with the other type. · 17 │ s != s_ref; │ ^^ Incompatible arguments to '!=' error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:18:15 │ 12 │ fun t0(r: &R, r_mut: &mut R, s: S, s_ref: &S, s_mut: &mut S) { │ - ------ Found: '&mut 0x8675309::M::S'. It is not compatible with the other type. │ │ │ Found: '0x8675309::M::S'. It is not compatible with the other type. · 18 │ s_mut != s; │ ^^ Incompatible arguments to '!=' error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:18:18 │ 2 │ struct S { u: u64 } │ - To satisfy the constraint, the 'drop' ability would need to be added here · 12 │ fun t0(r: &R, r_mut: &mut R, s: S, s_ref: &S, s_mut: &mut S) { │ - The type '0x8675309::M::S' does not have the ability 'drop' · 18 │ s_mut != s; │ ^ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:22:9 │ 3 │ struct R { │ - To satisfy the constraint, the 'drop' ability would need to be added here · 21 │ fun t1(r: R) { │ - The type '0x8675309::M::R' does not have the ability 'drop' 22 │ r != r; │ ^ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:22:14 │ 3 │ struct R { │ - To satisfy the constraint, the 'drop' ability would need to be added here · 21 │ fun t1(r: R) { │ - The type '0x8675309::M::R' does not have the ability 'drop' 22 │ r != r; │ ^ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:26:9 │ 26 │ G0{} != G0{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:26:17 │ 26 │ G0{} != G0{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:27:9 │ 7 │ struct G1 {} │ -- To satisfy the constraint, the 'drop' ability would need to be added here · 27 │ G1{} != G1{}; │ ^^^^ │ │ │ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' │ The type '0x8675309::M::G1<_>' does not have the ability 'drop' error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:27:9 │ 27 │ G1{} != G1{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:27:17 │ 7 │ struct G1 {} │ -- To satisfy the constraint, the 'drop' ability would need to be added here · 27 │ G1{} != G1{}; │ ^^^^ │ │ │ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' │ The type '0x8675309::M::G1<_>' does not have the ability 'drop' error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:27:17 │ 27 │ G1{} != G1{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:28:9 │ 8 │ struct G2 {} │ -- To satisfy the constraint, the 'drop' ability would need to be added here · 28 │ G2{} != G2{}; │ ^^^^ │ │ │ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' │ The type '0x8675309::M::G2<_>' does not have the ability 'drop' error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:28:9 │ 28 │ G2{} != G2{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/neq_invalid.move:28:17 │ 8 │ struct G2 {} │ -- To satisfy the constraint, the 'drop' ability would need to be added here · 28 │ G2{} != G2{}; │ ^^^^ │ │ │ '!=' requires the 'drop' ability as the value is consumed. Try borrowing the values with '&' first.' │ The type '0x8675309::M::G2<_>' does not have the ability 'drop' error[E04010]: cannot infer type ┌─ tests/move_check/typing/neq_invalid.move:28:17 │ 28 │ G2{} != G2{}; │ ^^^^ Could not infer this type. Try adding an annotation error[E04005]: expected a single type ┌─ tests/move_check/typing/neq_invalid.move:32:9 │ 32 │ () != (); │ ^^^^^^^^ │ │ │ │ │ Expected a single type, but found expression list type: '()' │ Incompatible arguments to '!=' error[E04005]: expected a single type ┌─ tests/move_check/typing/neq_invalid.move:33:9 │ 33 │ (0, 1) != (0, 1); │ ^^^^^^^^^^^^^^^^ │ │ │ │ │ Expected a single type, but found expression list type: '(u64, u64)' │ Incompatible arguments to '!=' error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:34:19 │ 34 │ (1, 2, 3) != (0, 1); │ --------- ^^ ------ Found expression list of length 2: '({integer}, {integer})'. It is not compatible with the other type of length 3. │ │ │ │ │ Incompatible arguments to '!=' │ Found expression list of length 3: '({integer}, {integer}, {integer})'. It is not compatible with the other type of length 2. error[E04007]: incompatible types ┌─ tests/move_check/typing/neq_invalid.move:35:16 │ 35 │ (0, 1) != (1, 2, 3); │ ------ ^^ --------- Found expression list of length 3: '({integer}, {integer}, {integer})'. It is not compatible with the other type of length 2. │ │ │ │ │ Incompatible arguments to '!=' │ Found expression list of length 2: '({integer}, {integer})'. It is not compatible with the other type of length 3.