it’s just a type assertion, and as you’ve seen, the allocation happens before the assertion (during the getindex).
getindex