------- Comment #2 from redi at gcc dot gnu dot org 2009-08-10 15:36 -------
The code is invalid: The template parameters T and U cannot be deduced in your
partial specialization, because they occur in a non-deduced context.
According to 14.5.4.1 [temp.class.spec.match] paragraph 2 the template
arguments of the partial specialisation must be deduced, but in the attached
program they appear in non-deduced contexts as defined by 14.8.2.4
[temp.deduct]
paragraph 4.
--
redi at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41028
