------- Additional Comments From lerdsuwa at gcc dot gnu dot org 2004-12-13
15:27 -------
Should be allowed according to 14.7.3/16. All my GCC versions
fail to compile the testcase (maybe some 3.3.x does) so I can't
verify that it's a regression.
The problem is some incorrect logic in 'determine_specialization':
it tries to deduce N2 from
template<> template<class T2,int N2>
T2 Class<int,1>::function( T2 param )
to match against
template<class T1,int N1> template<class T2,int N2>
T2 Class<T1,N1>::function( T2 param );
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Known to work| |2.95.3 3.0.4 3.2.3 3.4.3
| |4.0.0
Last reconfirmed|0000-00-00 00:00:00 |2004-12-13 15:27:08
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18950
