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

   1 // PR c++/86002
   2 // { dg-do compile { target c++20 } }
   3
   4 struct X {};
   5 struct Y { int i; };
   6
   7 template <typename T>
   8 int f(T t)
   9 {
  10     if constexpr (requires { t.i; })
  11         return t.i;
  12     else
  13         return {};
  14 }
  15
  16 int main()
  17 {
  18     return f(X{}) + f(Y{});
  19 }