warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:3:9
  │
3 │         return >> 0;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:4:9
  │
4 │         return << 0;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:5:9
  │
5 │         return || false;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:6:9
  │
6 │         return && false;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:7:9
  │
7 │         return + 0;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:8:9
  │
8 │         return - 0;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
  ┌─ tests/move_check/parser/return_in_binop.move:9:9
  │
9 │         return % 0;
  │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:10:9
   │
10 │         return / 1;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:11:9
   │
11 │         return < 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:12:9
   │
12 │         return > 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:13:9
   │
13 │         return <= 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:14:9
   │
14 │         return == 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:15:9
   │
15 │         return >= 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:16:9
   │
16 │         return != 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:17:9
   │
17 │         return | 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.

warning[W09005]: dead or unreachable code
   ┌─ tests/move_check/parser/return_in_binop.move:18:9
   │
18 │         return ^ 0;
   │         ^^^^^^ Invalid use of a divergent expression. The code following the evaluation of this expression will be dead and should be removed.