On Thu, 23 May 2024 at 18:30, Jonathan Wakely <cxx_at_[hidden]> wrote:
>> > In <cstdint>, which is a C++ header and not a C header.
>
>
> Just to be clear: if it's required to be present in <cstdint> then it's also required to be present in the C++ version of <stdint.h>.

You're citing the general rule, which can have specific exceptions,
and this proposal does carve exactly such an exception
in its wording. So, as proposed, this proposal requires [u]intptr_t in
<cstdint>, but not in the C++ version of <stdint.h>.