1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 3 struct S { 4 template <typename Ty = char> 5 static_assert(sizeof(Ty) != 1, "Not a char"); // expected-error {{a static_assert declaration cannot be a template}} 6 }; 7 8 template <typename Ty = char> 9 static_assert(sizeof(Ty) != 1, "Not a char"); // expected-error {{a static_assert declaration cannot be a template}} 10 11 namespace Ellipsis { 12 template<typename ...T> void f(T t..., int n); // expected-error {{must immediately precede declared identifier}} 13 template<typename ...T> void f(int n, T t...); // expected-error {{must immediately precede declared identifier}} 14 template<typename ...T> void f(int n, T t, ...); // expected-error {{unexpanded parameter pack}} 15 template<typename ...T> void f() { 16 f([]{ 17 void g(T 18 t // expected-note {{place '...' immediately before declared identifier to declare a function parameter pack}} 19 ... // expected-warning {{'...' in this location creates a C-style varargs function, not a function parameter pack}} 20 // expected-note@-1 {{insert ',' before '...' to silence this warning}} 21 ); 22 void h(T (& 23 ) // expected-note {{place '...' here to declare a function parameter pack}} 24 ... // expected-warning {{'...' in this location creates a C-style varargs function, not a function parameter pack}} 25 // expected-note@-1 {{insert ',' before '...' to silence this warning}} 26 ); 27 void i(T (&), ...); 28 }...); 29 } 30 template<typename ...T> struct S { 31 void f(T t...); // expected-error {{must immediately precede declared identifier}} 32 void f(T ... // expected-note {{preceding '...' declares a function parameter pack}} 33 t...); // expected-warning-re {{'...' in this location creates a C-style varargs function{{$}}}} 34 // expected-note@-1 {{insert ',' before '...' to silence this warning}} 35 }; 36 37 // FIXME: We should just issue a single error in this case pointing out where 38 // the '...' goes. It's tricky to recover correctly in this case, though, 39 // because the parameter is in scope in the default argument, so must be 40 // passed to Sema before we reach the ellipsis. 41 template<typename...T> void f(T n = 1 ...); 42 // expected-warning@-1 {{creates a C-style varargs}} 43 // expected-note@-2 {{place '...' immediately before declared identifier}} 44 // expected-note@-3 {{insert ','}} 45 // expected-error@-4 {{unexpanded parameter pack}} 46 } 47
