error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:8:9 │ 8 │ false ^ true; │ ^^^^^ │ │ │ Invalid argument to '^' │ Found: 'bool'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:8:17 │ 8 │ false ^ true; │ ----- ^^^^ Invalid argument to '^' │ │ │ Found: 'bool'. But expected: 'u8', 'u64', 'u128' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:9:11 │ 9 │ 1 ^ 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[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:10:9 │ 10 │ false ^ 1; │ ^^^^^ │ │ │ Invalid argument to '^' │ Found: 'bool'. But expected: 'u8', 'u64', 'u128' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:10:15 │ 10 │ false ^ 1; │ ----- ^ - Found: integer. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '^' │ Found: 'bool'. It is not compatible with the other type. error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:10:17 │ 10 │ false ^ 1; │ ----- ^ Invalid argument to '^' │ │ │ Found: 'bool'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:11:9 │ 11 │ @0x0 ^ @0x1; │ ^^^^ │ │ │ Invalid argument to '^' │ Found: 'address'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:11:16 │ 11 │ @0x0 ^ @0x1; │ ---- ^^^^ Invalid argument to '^' │ │ │ Found: 'address'. But expected: 'u8', 'u64', 'u128' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:12:17 │ 12 │ (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[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:13:9 │ 7 │ fun t0(x: u64, r: R, s: S) { │ - Found: '0x8675309::M::R'. But expected: 'u8', 'u64', 'u128' · 13 │ r ^ r; │ ^ Invalid argument to '^' error[E05001]: ability constraint not satisfied ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:13:9 │ 3 │ struct R { │ - To satisfy the constraint, the 'drop' ability would need to be added here · 7 │ fun t0(x: u64, r: R, s: S) { │ - The type '0x8675309::M::R' does not have the ability 'drop' · 13 │ r ^ r; │ ^^^^^ Cannot ignore values without the 'drop' ability. The value must be used error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:13:13 │ 7 │ fun t0(x: u64, r: R, s: S) { │ - Found: '0x8675309::M::R'. But expected: 'u8', 'u64', 'u128' · 13 │ r ^ r; │ ^ Invalid argument to '^' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:14:9 │ 7 │ fun t0(x: u64, r: R, s: S) { │ - Found: '0x8675309::M::S'. But expected: 'u8', 'u64', 'u128' · 14 │ s ^ s; │ ^ Invalid argument to '^' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:14:13 │ 7 │ fun t0(x: u64, r: R, s: S) { │ - Found: '0x8675309::M::S'. But expected: 'u8', 'u64', 'u128' · 14 │ s ^ s; │ ^ Invalid argument to '^' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:15:9 │ 15 │ 1 ^ false ^ @0x0 ^ 0; │ ^^^^^^^^^^^^^^^^ │ │ │ │ │ Found: 'address'. But expected: 'u8', 'u64', 'u128' │ Invalid argument to '^' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:15:11 │ 15 │ 1 ^ false ^ @0x0 ^ 0; │ - ^ ----- 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/binary_bit_xor_invalid.move:15:26 │ 15 │ 1 ^ false ^ @0x0 ^ 0; │ ---- ^ - Found: integer. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '^' │ Found: 'address'. It is not compatible with the other type. error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:15:28 │ 15 │ 1 ^ false ^ @0x0 ^ 0; │ ---- ^ Invalid argument to '^' │ │ │ Found: 'address'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:16:9 │ 16 │ () ^ (); │ ^^ │ │ │ Invalid argument to '^' │ Found: '()'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:16:14 │ 16 │ () ^ (); │ -- ^^ Invalid argument to '^' │ │ │ Found: '()'. But expected: 'u8', 'u64', 'u128' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:17:11 │ 17 │ 1 ^ (); │ - ^ -- Found: '()'. It is not compatible with the other type. │ │ │ │ │ Incompatible arguments to '^' │ Found: integer. It is not compatible with the other type. error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:18:9 │ 18 │ (0, 1) ^ (0, 1, 2); │ ^^^^^^ │ │ │ Invalid argument to '^' │ Found: '(u64, u64)'. But expected: 'u8', 'u64', 'u128' error[E04007]: incompatible types ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:18:16 │ 18 │ (0, 1) ^ (0, 1, 2); │ ------ ^ --------- 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. error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:18:18 │ 18 │ (0, 1) ^ (0, 1, 2); │ ------ ^^^^^^^^^ Invalid argument to '^' │ │ │ Found: '(u64, u64)'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:19:9 │ 19 │ (1, 2) ^ (0, 1); │ ^^^^^^ │ │ │ Invalid argument to '^' │ Found: '(u64, u64)'. But expected: 'u8', 'u64', 'u128' error[E04003]: built-in operation not supported ┌─ tests/move_check/typing/binary_bit_xor_invalid.move:19:18 │ 19 │ (1, 2) ^ (0, 1); │ ------ ^^^^^^ Invalid argument to '^' │ │ │ Found: '(u64, u64)'. But expected: 'u8', 'u64', 'u128'