Lifted from #44 (comment).
The following violation type does not produce an error:
|
* Ensure that the file ends in a newline character. |
Reason: After breaking the file into lines, we cannot observe anymore whether the last line ended in a newline character. So maybe we have to implement our own line-breaking function which gives an error if the last line does not end with newline.