julia

c690489c - io: corrected error handling for streams (#32429)

io: corrected error handling for streams (#32429) After #32309, we became much more eager to forget about normal errors and more eager to throw an EOFError at the wrong place. This is intended to fix that oversight.