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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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

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


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


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