gcc/testsuite/g++.dg/cpp2a/concepts-requires25.C

// PR c++/101182
// { dg-do compile { target concepts } }

int a;
void g(bool);

bool f() {
  g(requires { a++; });
  return requires { a++; };
}