Fix array casting not being considered.