Currently interpreter doesn't distinguish between CEE_NEWARR with int and nint lengths and generates IR opcodes that use int32 as length. In case the size is nint, it would use only the low 32 bits of the size and thus would not detect some cases when the index is larger than the max size limit.