I just noticed that the new standard defines min(a,b) and max(a,b) without constexpr.
min(a,b)
max(a,b)
constexpr
Examples from 25.4.7, [
My guess is that, in the general case, operator<(T, T) is not guaranteed to be constexpr either.