blob: 81a671c7b1ab892e218f801b1da53d2748745f40 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// { dg-do compile { target c++20 } }
// { dg-additional-options "-fconcepts-ts" }
template<class I>
concept bool True = true;
template<class T>
concept bool HasType = requires { typename T::type; };
template<class T>
struct S
{
void foo() requires HasType<T> && True<typename T::type>;
};
S<int> s;
|
