1 2 3 4 5 6 7 8 9 10 11 12 13
// PR c++/66985 // { dg-options "-std=c++17 -fconcepts" } 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>; };