On Fri, 16 Jan 2026 at 02:39, Andrey Semashev via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> On 16 Jan 2026 02:13, Jonathan Wakely wrote:
> >
> > On Thu, 15 Jan 2026 at 22:30, Andrey Semashev via Std-Proposals <std-
> > proposals_at_[hidden] <mailto:std-proposals_at_[hidden]>>
> wrote:
> >
> > On 15 Jan 2026 23:11, Ryan P. Nicholl wrote:
> > >> If you're having in mind a specific usage scenario involving
> > std::latch,
> > > where one of the waiters destroys the latch as soon as it wakes
> > up, then
> > > that would be an error of the user of std::latch.
> > >
> > > The standard explicitly says this is allowed and well defined
> > behavior.
> >
> > Could you point to the specific standard wording that says this?
> >
> > For std::mutex it's here:
> > https://eel.is/c++draft/thread#mutex.class-note-1 <https://eel.is/c+
> > +draft/thread#mutex.class-note-1>
>
> Thanks, although notes are not normative, are they?
>

Correct. I'm not sure what normative requirement that note thinks it's
claraifying.

For condition_variable the note is clarifying the consequences of the
sentence above it, which is normative.


> > I don't know that std::latch says it.
>
> I didn't find any such wording for std::latch, which is why I was asking.
>
>