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

К>А вот это как раз легко. Один день потерять, потом за пять минут долететь.
К>

К>template<class T> struct is_std_vector : std::false_type {};
К>template<class T> struct is_std_vector<std::vector<T>> : std::true_type {};

К>template<class T> concept StdVector = is_std_vector<T>::value;

К>void f(StdVector auto& v);
К>

А примерчик-то прямо в тему: для того, чтобы объявить концепт, сперва пришлось прибегнуть к SFINAE магии

P.S. А, пардон, здесь обычная специализация, а не SFINAE. Но все равно это противоречит тезису, что шаблоны старого стиля больше не нужны.