gcc/testsuite/g++.dg/concepts/constrained-parm.C

   1 // { dg-options "-std=c++17 -fconcepts" }
   2
   3 template<typename T>
   4   concept bool C() { return __is_class(T); }
   5
   6 template<const C T> struct S1 { };    // { dg-error "cv-qualified" }
   7 template<volatile C T> struct S2 { }; // { dg-error "cv-qualified" }
   8 template<C* T> struct S3 { };         // { dg-error "invalid" }
   9 template<C const* T> struct S3a { };  // { dg-error "invalid" }
  10 template<C* const T> struct S3b { };  // { dg-error "invalid" }
  11 template<C& T> struct S4 { };         // { dg-error "invalid" }
  12 template<C[3] T> struct S4 { };       // { dg-error "invalid|expected" }
  13 template<C(*T)()> struct S5 { };      // { dg-error "invalid" }