1 // { dg-options "-std=c++17 -fconcepts" } 2 3 template<typename T> C()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" } 14