Per my understanding of the intended behavior for header units, I think the wording should also update [cpp.predefined]p3.

The values of the predefined macros (except for __FILE__ and, __LINE__, and __COUNTER__) remain constant throughout the translation unit.

Tom.

On 8/22/24 10:38 AM, Jeremy Rifkin via Std-Proposals wrote:
Hello,
I've drafted a proposal to standardize __COUNTER__: https://jeremy-rifkin.github.io/cpp-proposals/drafts/counter_initial_draft.html.

I welcome any comments and thoughts,
Jeremy