Comment by kibwen
3 years ago
I would expect that to produce an error, though. If I had a regular file that was not infinite in size, and I specified the wrong length for the array, I would find it more useful to have the compiler inform me as to the discrepancy rather than truncate my file.
A warning, not an error. Both under and over-population can be valid use cases.