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