template<class T> 
concept Incrementable =
  requires(T t) { ++t; };  
 
template<class T>
auto incr(T t) requires Incrementable<T>
{
  return ++t;
}
 
int main()
{
  auto i = 0;
  return incr(i);
}