1 // { dg-do compile { target c++11 } } 2 3 template <class T> using Ptr = T*; 4 Ptr<unsigned>; // { dg-error "does not declare anything" } 5 Ptr<char><int>; // { dg-error "not a template|does not declare anything" } 6 template class Ptr<int>;//{ dg-error "alias template specialization\[^\n\r\]*after\[^\n\r\]*class" } 7 8 template <class T> using Arg = T; 9 struct A {}; 10 template class Arg<A>;// { dg-error "alias templ\[^\n\r\]*specialization\[^\n\r\]*Arg<A>\[^\n\r\]*after\[^\n\r\]*class" } 11 12 template <template <class> class TT, class T> using Instantiate = TT<T>; 13 template <class> struct Vector {}; 14 15 // The below is not OK, because of [dcl.type.elab]: 16 // 17 // If the identifier resolves to a typedef-name or the 18 // simple-template-id resolves to an alias template 19 // specialization, the elaborated-type-specifier is ill-formed. 20 // 21 template class Instantiate<Vector, int>;//{ dg-error "alias template specialization\[^\n\r\]*after\[^\n\r\]*class" } 22 23 template <class T> struct S {}; 24 template<class T> using SFor = S<T>; 25 // Likewise, this is not OK. 26 template class SFor<int>; //{ dg-error "alias template specialization\[^\n\r\]*after\[^\n\r\]*class" } 27