Inserts items to the array of the given array `view` at the given `index`. \note The implementation guarantees that a `view` pointing to the array data itself would work.
source not stored for this graph (policy: none)