error[E04003]: built-in operation not supported
  ┌─ tests/move_check/typing/binary_leq_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_leq_invalid.move:8:18
  │
8 │         false <= true;
  │         -----    ^^^^ Invalid argument to '<='
  │         │         
  │         Found: 'bool'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
  ┌─ tests/move_check/typing/binary_leq_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_leq_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_leq_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_leq_invalid.move:10:18
   │
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_leq_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_leq_invalid.move:11:17
   │
11 │         @0x0 <= @0x1;
   │         ----    ^^^^ Invalid argument to '<='
   │         │        
   │         Found: 'address'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
   ┌─ tests/move_check/typing/binary_leq_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_leq_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[E04003]: built-in operation not supported
   ┌─ tests/move_check/typing/binary_leq_invalid.move:13:14
   │
 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_leq_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_leq_invalid.move:14:14
   │
 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_leq_invalid.move:15:9
   │
15 │         0 <= 1 <= 2;
   │         ^^^^^^
   │         │
   │         Invalid argument to '<='
   │         Found: 'bool'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
   ┌─ tests/move_check/typing/binary_leq_invalid.move:15:16
   │
15 │         0 <= 1 <= 2;
   │         ------ ^^ - 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_leq_invalid.move:15:19
   │
15 │         0 <= 1 <= 2;
   │         ------    ^ Invalid argument to '<='
   │         │          
   │         Found: 'bool'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
   ┌─ tests/move_check/typing/binary_leq_invalid.move:16:12
   │
16 │         (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[E04003]: built-in operation not supported
   ┌─ tests/move_check/typing/binary_leq_invalid.move:16:26
   │
16 │         (1 <= false) && (@0x0 <= 0);
   │                          ^^^^
   │                          │
   │                          Invalid argument to '<='
   │                          Found: 'address'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
   ┌─ tests/move_check/typing/binary_leq_invalid.move:16:31
   │
16 │         (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_leq_invalid.move:16:34
   │
16 │         (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_leq_invalid.move:17:9
   │
17 │         () <= ();
   │         ^^
   │         │
   │         Invalid argument to '<='
   │         Found: '()'. But expected: 'u8', 'u64', 'u128'

error[E04003]: built-in operation not supported
   ┌─ tests/move_check/typing/binary_leq_invalid.move:17:15
   │
17 │         () <= ();
   │         --    ^^ Invalid argument to '<='
   │         │      
   │         Found: '()'. But expected: 'u8', 'u64', 'u128'

error[E04007]: incompatible types
   ┌─ tests/move_check/typing/binary_leq_invalid.move:18:11
   │
18 │         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_leq_invalid.move:19:9
   │
19 │         (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_leq_invalid.move:19:16
   │
19 │         (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_leq_invalid.move:19:19
   │
19 │         (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_leq_invalid.move:20:9
   │
20 │         (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_leq_invalid.move:20:19
   │
20 │         (1, 2) <= (0, 1);
   │         ------    ^^^^^^ Invalid argument to '<='
   │         │          
   │         Found: '(u64, u64)'. But expected: 'u8', 'u64', 'u128'