template <class T> 
concept Addable = requires (T t) { t + t; };

int main()
{
	int x = 1, y = 2;
	Addable auto z = x + y;
	return z;
}