Explain EOF behavior in File.eof().

Fies #16239.
auto merge of #16578 : steveklabnik/rust/gh16239, r=pcwalton

Fies #16239.