Здравствуйте, Sm0ke, Вы писали:

S>

S>template <enum_type Enum>
S>constexpr auto operator + (Enum e) -> std::underlying_type_t<Enum> {
S>    return static_cast< std::underlying_type_t<Enum> >(e);
S>}
S>

S>Что думаете?

Я думаю, здесь можно бы избавиться от дублирования и сделать запись более компактной:

template <enum_type Enum>
constexpr auto operator + (Enum e) { return std::underlying_type_t<Enum>(e); }

P.S. И да, концепты, конечно, лучше, чем SFINAE, как по мне.