Some tools such as Git work better when files end with an empty line.
This rule simply generates an issue if it is missing.
For example, a Git diff looks like:
module fly; endmodule \ No newline at end of file
if the empty line is missing at the end of the file.
Note that empty files are not checked against this rule.