ArrayAcc type checking