The Pascal compiler company
The Pascal compiler company
6.6.5.2 For read, it is an error if the value possessed by the buffer-variable is not assignment-compatible with the variable-access.
In other words, it is an error to read a value into a variable, if the value is not assignment compatible with the variable.
This error is reported if range checking is enabled.