gcc/testsuite/g++.dg/concepts/req9.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4 struct S1 {};
   5
   6 template<typename T>
   7 concept bool C() { return requires(T x) { { x.fn() } -> S1<T>; }; }
   8
   9 template<C U>
  10 void fn(U x)
  11 {
  12   x.fn();
  13 }
  14
  15 struct S2
  16 {
  17   auto fn() const { return S1<S2>(); }
  18 };
  19
  20 int main()
  21 {
  22   fn(S2{});
  23   return 0;
  24 }