1 // { dg-do compile { target c++2a } }
2 // { dg-additional-options "-fconcepts-ts" }
3 
4 template<class X>
C()5 concept bool C() {
6   return requires(X x, bool b) {
7     requires b; // { dg-error "not a constant expression" }
8     x++;
9   };
10 }
11 
main()12 int main() {
13   C<int>();
14   return 0;
15 }
16