This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

3497. Postconditions for basic_syncbuf::emit()

Section: [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: [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: