[ 2025-10-23; Reflector poll; Status changed: New → Core and P4. ]

P4 at best. Sentiment towards NAD.

[thread.thread.constr] p6 says

The completion of the invocation of the constructor synchronizes with the beginning of the invocation of the copy of `f`.

The intended meaning is that "The completion of the invocation of the constructor" happens-before "the beginning of the invocation of the copy of `f`.", so we can infer other happen-before relationships based on this point.

However, according to the definition of "happens-before" ([intro.races] p7),

An evaluation A happens before an evaluation B (or, equivalently, B happens after A) if either

1. (7.1) — […]

2. (7.2) — A synchronizes with B, or

That means A and B are first required to be expressions because the evaluation is in terms of expressions.

However, "The completion of the invocation of the constructor" and "the beginning of the invocation of the copy of `f`" are not expressions.

The similar issue is [thread.thread.member] p4

The completion of the thread represented by `*this` synchronizes with ([intro.multithread]) the corresponding successful `join()` return.