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

   1 // PR c++/99961
   2 // { dg-do compile { target c++20 } }
   3
   4 struct A { static const int x = 42; bool y; };
   5
   6 void f(auto a) requires (a.x == 42) { }
   7 template void f(A);
   8
   9 template <bool V> concept C = V || A::y;
  10 static_assert(C<true>);