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

// PR c++/66091
// { dg-do compile { target c++17_only } }
// { dg-additional-options "-fconcepts" }

template<typename T>
concept bool C1()
{
  return requires() { typename T::type1; };
}

template<typename T>
concept bool C2()
{
  return C1<T>() && requires() { typename T::type2; };
}

template<C1 T>
struct S {
  S& operator++() { return *this; }
  S& operator++() requires C2<T>() { return *this; }
};