gcc/testsuite/g++.dg/warn/pr94038-3.C

   1 // PR c++/94038
   2 // { dg-do compile { target c++20 } }
   3 // { dg-additional-options "-Wall" }
   4
   5 template<typename T>
   6 constexpr int foo() {
   7   return T::x;
   8 }
   9
  10 constexpr bool bar(bool a) { return a; }
  11
  12 template<typename T>
  13 concept C = foo<T>() == 0;
  14
  15 static_assert(decltype(bar(C<int>)){} == false);