concepts: after

template <class T> concept bool A() {
  return requires(T x) {
    { x++ }
    ->int;
  };
}