3497. Postconditions for basic_syncbuf::emit()

Section: [syncstream.syncbuf.members] Status: New Submitter: Jonathan Wakely Opened: 2020-11-10 Last modified: 2020-11-21 14:02:41 UTC

Priority: 3

View other active issues in [syncstream.syncbuf.members].

View all other issues in [syncstream.syncbuf.members].

View all issues with New status.

Discussion: [syncstream.syncbuf.members] p2 says:

Postconditions: On success, the associated output is empty.

Are there any postconditions on failure? If part of the associated output was written, is that part still in the associated output? Will another call to emit() duplicate that part?

[2020-11-21; Reflector prioritization]

Set priority to 3 during reflector discussions.

Proposed resolution: