if the created array is known to be simple. Otherwise, someone might adjust it, which would cause the type to be wrong.