concepts: before

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