http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46630
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> 2010-11-23 21:59:46 UTC --- (In reply to comment #0) > Should compile fine per ISO/IEC 14882:2005, 14.6 (Name resolution). Why? T::N is not a typename ISO/IEC 14882:2003 14.6 paragraph 4 seems pretty clear to me: If a specialization of a template is instantiated for a set of template-arguments such that the qualified-id prefixed by typename does not denote a type, the specialization is ill-formed.