User
можно еще сделать вот так:
template<class T, auto Func = [] {}> concept boo = requires(T x) { f(x); Func(); };
и оно будет работать и не потребуется писать каждый раз новую чиселку
можно еще сделать вот так:
и оно будет работать и не потребуется писать каждый раз новую чиселку