error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:12:23
   │
11 │         let r1 = borrow_global_mut<R>(addr);
   │                  -------------------------- It is still being mutably borrowed by this reference
12 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:18:23
   │
17 │         let f_ref = &mut borrow_global_mut<R>(addr).f;
   │                     --------------------------------- It is still being mutably borrowed by this reference
18 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:24:23
   │
23 │         let r1 = id_mut(borrow_global_mut<R>(addr));
   │                  ---------------------------------- It is still being mutably borrowed by this reference
24 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:30:23
   │
29 │         let f_ref = id_mut(&mut borrow_global_mut<R>(addr).f);
   │                     ----------------------------------------- It is still being mutably borrowed by this reference
30 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:36:23
   │
35 │         let r1 = borrow_global<R>(addr);
   │                  ---------------------- It is still being borrowed by this reference
36 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:42:23
   │
41 │         let f_ref = &borrow_global<R>(addr).f;
   │                     ------------------------- It is still being borrowed by this reference
42 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:48:23
   │
47 │         let r1 = id(borrow_global<R>(addr));
   │                  -------------------------- It is still being borrowed by this reference
48 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:54:23
   │
53 │         let f_ref = id(&borrow_global<R>(addr).f);
   │                     ----------------------------- It is still being borrowed by this reference
54 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'

error[E07003]: invalid operation, could create dangling a reference
   ┌─ tests/move_check/borrows/move_from_invalid.move:62:23
   │
61 │         let r1; if (cond) r1 = borrow_global_mut<R>(addr) else r1 = &mut r;
   │                                -------------------------- It is still being mutably borrowed by this reference
62 │         let R { f } = move_from<R>(addr);
   │                       ^^^^^^^^^^^^^^^^^^ Invalid extraction of resource 'R'