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

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

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

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

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

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

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

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

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