http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55576
--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-04 11:04:45 UTC --- I've been trying to find the relevant text in the standard but I'm not entirely sure where this is covered. Possibly [temp.local] paras 3-5, including "The injected-class-name of a class template or class template specialization can be used either as a template-name or a type-name wherever it is in scope."