error[E07002]: mutable ownership violated
  ┌─ tests/move_check/liveness/dead_refs_branch_invalid.move:8:13
  │
4 │         let x_ref = &mut x;
  │                     ------ It is still being mutably borrowed by this reference
  ·
8 │         _ = x;
  │             ^ Invalid copy of variable 'x'

error[E07003]: invalid operation, could create dangling a reference
  ┌─ tests/move_check/liveness/dead_refs_branch_invalid.move:9:13
  │
4 │         let x_ref = &mut x;
  │                     ------ It is still being mutably borrowed by this reference
  ·
9 │         _ = move x;
  │             ^^^^^^ Invalid move of variable 'x'

error[E07002]: mutable ownership violated
   ┌─ tests/move_check/liveness/dead_refs_branch_invalid.move:20:13
   │
15 │         let x_ref = &mut x;
   │                     ------ It is still being mutably borrowed by this reference
   ·
20 │         _ = x;
   │             ^ Invalid copy of variable 'x'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/liveness/dead_refs_branch_invalid.move:21:13
   │
15 │         let x_ref = &mut x;
   │                     ------ It is still being mutably borrowed by this reference
   ·
21 │         _ = move x;
   │             ^^^^^^ Invalid move of variable 'x'