http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54466
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-10-16 23:16:48 UTC --- The second alias doesn't even have to be a template to show the problem: template<typename T> struct X { }; template<typename T> using Y = const X<T>; using Z = Y<int>;