gcc/testsuite/g++.dg/concepts/intro7.C

   1 // PR c++/66985
   2 // { dg-options "-std=c++17 -fconcepts" }
   3
   4 template <template <class> class T>
   5 concept bool _Valid = requires { typename T<int>; };
   6
   7 template <template <class> class T>
   8 struct __defer { };
   9
  10 _Valid{T}
  11 struct __defer<T> {
  12   using type = T<int>;
  13 };