[Bug c++/11113] New: explicit specialization of a typedef not diagnosed

["sebor at roguewave dot com" <gcc-bugzilla at gcc dot gnu dot org>]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11113

           Summary: explicit specialization of a typedef not diagnosed
           Product: gcc
           Version: 3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: sebor@roguewave.com
                CC: gcc-bugs@gcc.gnu.org

Tha ill-formed (AFAICS, according to 14.7.2, p2) program below compiles with gcc
3.2 with no diagnostic. 

Regards
Martin

$ cat t.cpp; g++ -c -pedantic -W t.cpp
template <class T>
struct A { };

template <class T>
struct B { typedef T type; };

template class B<A<int> >::type;