PR c++/85765 - SFINAE and non-type default template arg.
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / alias-decl-60.C
blob6bf9b7b16669fb0e8556f81a7d43d7c0784cb192
1 // PR c++/72764
2 // { dg-do compile { target c++11 } }
4 template < typename > struct A;
5 template < typename > struct B {};
7 template < typename T >
8 using C = typename A < T >::template D < T >;
10 template < typename T > struct A
11
12   // should be: template < typename > struct D : B < C < T > > {};
13   struct D : B < C < T > > {};  // { dg-error "not a class template" }
16 A < int >::D a;                 // { dg-message "required" }