[Bug][move-compiler-v2] V2 wrongly gives "cannot drop value which is still borrowed"

[zzjas]

🐛 Bug

module 0xCAFE::Module0 {
    public fun f() {
            *(
                if (true) {
                    if (true) {
                        if (true) { &(0) }
                        else {
                            if (true) { &(0) }
                            else { &(0) }
                        }
                    } else { &(0) }
                } else {
                    if (true) {
                        if (true) {
                            if (true) { &(0) }
                            else { &(0) }
                        } else {
                            if (true) { &(0) }
                            else { &(0) }
                        }
                    } else {
                        if (true) {
                            if (true) { &(0) }
                            else { &(0) }
                        } else { &(0) }
                    }
                }
            );
    }
}

V1 can compile this fine. V2 will give:

error: cannot drop value which is still borrowed
   ┌─ ~/debug_package/sources/MoveSmith.move:3:13
   │  
 3 │ ╭             *(
 4 │ │                 if (true) {
 5 │ │                     if (true) {
 6 │ │                         if (true) { &(0) }
   · │
27 │ │                 }
28 │ │             );
   │ ╰─────────────^ dropped here

Removing any individual if-else will make the error disappear, but I haven't tried removing combinations of multiple ones.

[zzjas]

A similar input can cause V1 to crash #14095 (comment)