Per my understanding of the intended behavior for header units, I think
the wording should also update [cpp.predefined]p3
<https://eel.is/c++draft//cpp.predefined#3>.

    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
>