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

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

error[E07002]: mutable ownership violated
   ┌─ tests/move_check/liveness/dead_refs_nested_invalid.move:29:71
   │
27 │         let x_ref = &mut x;
   │                     ------ It is still being mutably borrowed by this reference
28 │         loop {
29 │             if (cond) { _ = x_ref; break } else { while (!cond) { _ = x } }
   │                                                                       ^ Invalid copy of variable 'x'