A non-empty file must end with a newline.

• 一个非空文件必须以换行符结尾。