[Bug][Compiler-v2] index notation does not check ability properly

[rahxephon89]

🐛 Bug

When compiling the following code,

    struct Wrapper<T: copy> has drop, key, store, copy {
        inner: T
    }

    fun unwrap<T: copy>(self: &Wrapper<T>): T {
        self.inner
    }

    fun dispatch<T: copy>(account: address): T acquires Wrapper {
        unwrap(&Wrapper<T>[account])
    }

The following bytecode verification error is generated:

 bug: bytecode verification failed with unexpected status code `CONSTRAINT_NOT_SATISFIED`. This is a compiler bug, consider reporting it.
Error message: missing abilities for `ImmBorrowGlobalGeneric(StructDefInstantiationIndex(0))` at code offset 1

If we change unwrap(&Wrapper<T>[account]) into unwrap(borrow_global<Wrapper<T>>), the following error is generated:

 error: type `T` is missing required ability `store`
    ┌─ TEMPFILE:298:23
    │
298 │         borrow_global<Wrapper<T>>(account).unwrap()
    │                       ^^^^^^^^^^
    │