> Про другие языки писал, неявно. И я сообщил почему
Вот и я о том же: сам себе придумал - сам с собой поспорил. Настрочил кучу строк, по сути ничего не ответил.
Повторяю третий раз: концепты не позволяют мне реализовать ничего такого, что я не мог бы реализовать раньше без них в С++17. Единственным адекватным ответом мне будет контр-пример, а не три листа писанины на темы, которые я не затрагивал.
// Equivalent, but functionally not equivalent
template<typename T> enable_if_t<(sizeof(T) < 239)> f();
template<typename T> enable_if_t<(sizeof(T) > 239)> f();
// Not equivalent
template<typename T> requires(sizeof(T) < 239) void f();
template<typename T> requires(sizeof(T) > 239) void f();