On Mon, 10 Jul 2023 at 12:28, Jonathan Wakely <cxx@kayari.org> wrote:

On Mon, 10 Jul 2023 at 10:08, Sebastian Wittmeier via Std-Proposals <std-proposals@lists.isocpp.org> wrote:

Hi Alex,
I think you misunderstood.
Jonathan's INT_MIN / INT_MAX do not return 1 or 16, respectively, for enums.
Quite the opposite, Jonathan pointed out that the existing values INT_MIN / INT_MAX can be stored in MyEnum, so 1 or 16 are _not_ the minimum or maximum possible value for the example.

Precisely. Any proposal related to the "min" and "max" of enums needs to discuss the valid values of the enumeration type.

P0974R0: "A Function Returning Whether An Underlying Type Value Is a Valid Enumerator of a Given Enumeration" <https://wg21.link/p0974r0> (by Jonathan Ringle) (2018-03-30) (which already proposed min and max traits, among others) has the same issue.