The following - IMHO according to [14.5.4]/6 invalid - code snippet is accepted since at least GCC 2.95.3:
=========================================== template<typename> struct A { template<typename T> struct A<T*>; }; =========================================== -- Summary: In-class partial specialization of class accepted Product: gcc Version: 4.2.0 Status: UNCONFIRMED Keywords: accepts-invalid, monitored Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: reichelt at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28300