Problemunvalidated
should we call `stream.flush()` before calling `stream.close()`? — I provide a `Serializer` object, and it has a method `setOutputStream()` allowing the user to supply a destination for the output. Tension: there doesn't seem to be anything in the `OutputStream` contract that mandates this. Outcome: if the user of your API is providing their own `OutputStream` object, they may or may not have implemented `close` to perform a `flush`.
4807d72f-7181-4bf5-a0ad-54de5bd252d9
should we call stream.flush() before calling stream.close()? — I provide a Serializer object, and it has a method setOutputStream() allowing the user to supply a destination for the output. Tension: there doesn't seem to be anything in the OutputStream contract that mandates this. Outcome: if the user of your API is providing their own OutputStream object, they may or may not have implemented close to perform a flush.