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

   1 // PR c++/66091
   2 // { dg-do compile { target c++17_only } }
   3 // { dg-additional-options "-fconcepts-ts" }
   4
   5 template<typename T>
   6 concept bool C1()
   7 {
   8   return requires() { typename T::type1; };
   9 }
  10
  11 template<typename T>
  12 concept bool C2()
  13 {
  14   return C1<T>() && requires() { typename T::type2; };
  15 }
  16
  17 template<C1 T>
  18 struct S {
  19   S& operator++() { return *this; }
  20   S& operator++() requires C2<T>() { return *this; }
  21 };