[Bug c++/15561] New: partial specialization failed

["olivier dot pantz at polytechnique dot org" <gcc-bugzilla at gcc dot gnu dot org>]

The following code:

template <class T_Left,class T_Right>
class A{
 public:
  A(){};
  void f() const; 
};
template<class T_Left>
void A<T_Left,int>::f() const {};

int main(){};

produces the following compiler error message:

specialization.cpp:11: error: no `void A<T_Left, int>::f() const' member
   function declared in class `A<T_Left, int>'
specialization.cpp:11: error: template definition of non-template `void
   A<T_Left, int>::f() const'


Release:
gcc 3.3.3

Environement:
=/usr --mandir=/usr/share/man --infodir=/usr/share/info 
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared --with-system-zlib 
--enable-nls --without-included-gettext --enable-__cxa_atexit 
--enable-clocale=gnu --enable-debug --enable-java-gc=boehm 
--enable-java-awt=xlib --enable-objc-gc i486-linux
Thread model: posix

How-To-Repeat:
Try compiling the code from the description.

-- 
           Summary: partial specialization failed
           Product: gcc
           Version: 3.3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: olivier dot pantz at polytechnique dot org
                CC: gcc-bugs at gcc dot gnu dot org


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