blob: cd3acf77876b0da4e08ca0b315e141a26f4975f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
// PR c++/66091
// { dg-do compile { target c++17_only } }
// { dg-additional-options "-fconcepts-ts" }
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; }
};
|
