#include #include using std::operator""s; template concept Addable = requires (T t) { t + t; }; template void test(T a, T b) { Addable auto c = a + b; std::cout << a << " + " << b << " = " << c << std::endl; } int main() { test( 1, 2); test("abc"s, "xyz"s); }