basic_syncbuf::emit()Section: 31.11.2.4 [syncstream.syncbuf.members] Status: New Submitter: Jonathan Wakely Opened: 2020-11-10 Last modified: 2020-11-21
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:
31.11.2.4 [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: