blob: 0c452a77b868b3168580bfc611af3c1b2c98c2e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// PR c++/66985
// { dg-do compile { target c++17_only } }
// { dg-options "-fconcepts-ts" }
template <template <class> class T>
concept bool Valid = requires { typename T<int>; };
template <template <class> class T>
struct __defer { };
Valid{T}
struct __defer<T> {
using type = T<int>;
};
|
