On Sat, 16 Dec 2023 05:53:34 GMT, Bernd <d...@openjdk.org> wrote: > I wonder: if the stream does no longer depend on this `available()` condition > to be true, does that mean it’s no longer (indirectly) verified?
I'm not sure I understand ... what do you mean by "verified"? If what you're saying is "Previously we were implicitly verifying that the data reported by `available()` was actually there, and now we're no longer verifying that" then that's not correct. The code that was previously conditional on an `available()` check was just catching and discarding `IOException`, so even if `available()` was lying before, that would not have ever been detected. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17113#issuecomment-1858883789
