On Sunday, 30 March 2025 11:16:42 Eastern Daylight Time Jonathan Wakely wrote:
> This certainly looks like it's checking for promotion:
>
> std::is_same< uint_fast32_t, decltype(uint_fast32_t() +
>
> > uint_fast32_t())

That's what happens when you start with a false assumption. Yes, it's checking
for promotion and that will conclude uint_fast32_t does not promote, because
it's already ranked higher than int & unsigned (or, in the worst case, same as
because it is unsigned int).

In fact, it's true on every platform that I've ever known to exist.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel DCAI Platform & System Engineering