#pragma once // Try References on Addable: its constraint is used in main.cpp. template concept Addable = requires(T value) { value + value; }; // Try Definition or Callers on increment. int increment(int value);