comparison gcc/testsuite/g++.dg/concepts/constrained-parm.C @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
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" }