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

   1 // PR c++/110535
   2 // { dg-do compile { target c++20 } }
   3
   4 using F = int(int);
   5
   6 template<bool B>
   7 struct A {
   8  operator F*() requires B;
   9 };
  10
  11 int i = A<true>{}(0);  // OK
  12 int j = A<false>{}(0); // { dg-error "no match" }