https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110872
Bug ID: 110872
Summary: coroutine postcondition is not evaluated
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110871
Bug ID: 110871
Summary: coroutine precondition should be evaluated before the
initial suspend
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830
--- Comment #16 from Andrzej Krzemienski ---
Oh, I see. The above requirement applies only to chapter Algorithms library.
Not Iterators library. Sorry.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78830
--- Comment #15 from Andrzej Krzemienski ---
How come?
[algorithms.requirements], paragraph 4, bullet 5
(http://eel.is/c++draft/algorithms#requirements-4.5) says:
If an algorithm's template parameter is named BidirectionalIterator,
Bidirectiona