error[E04007]: incompatible types
  ┌─ tests/move_check/typing/block_single_expr_invalid.move:4:18
  │
4 │         ({ 0 } : bool);
  │            -     ^^^^
  │            │     │
  │            │     Invalid type annotation
  │            │     Expected: 'bool'
  │            Given: integer

error[E04007]: incompatible types
  ┌─ tests/move_check/typing/block_single_expr_invalid.move:5:19
  │
5 │         ({ &0 } : u64);
  │            --     ^^^
  │            │      │
  │            │      Invalid type annotation
  │            │      Expected: 'u64'
  │            Given: '&{integer}'

error[E04007]: incompatible types
  ┌─ tests/move_check/typing/block_single_expr_invalid.move:6:23
  │
6 │         ({ &mut 0 } : ());
  │            ------     ^^
  │            │          │
  │            │          Invalid type annotation
  │            │          Expected: '()'
  │            Given: '&mut {integer}'

error[E05001]: ability constraint not satisfied
  ┌─ tests/move_check/typing/block_single_expr_invalid.move:7:9
  │
2 │     struct R {}
  │            - To satisfy the constraint, the 'drop' ability would need to be added here
  ·
7 │         ({ R {} } : R);
  │         ^^^^^^^^^^^^^^
  │         │           │
  │         │           The type '0x8675309::M::R' does not have the ability 'drop'
  │         Cannot ignore values without the 'drop' ability. The value must be used

error[E04007]: incompatible types
  ┌─ tests/move_check/typing/block_single_expr_invalid.move:8:34
  │
8 │         ({ (0, false, false) } : (u64, bool));
  │            -----------------     ^^^^^^^^^^^
  │            │                     │
  │            │                     Invalid type annotation
  │            │                     Expected expression list of length 2: '(u64, bool)'
  │            Given expression list of length 3: '({integer}, bool, bool)'