[Bug c++/35989] code rejected in template specialization (4.2 did accept)
------- Comment #5 from jwakely dot gcc at gmail dot com 2009-07-24 10:29 -------
(In reply to comment #4)
> I think this is invalid because K is used in a non-deduced context
Which is the same problem as with the original testcase - this is not a bug in
gcc.
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 testcases
they appear in non-deduced contexts as defined by 14.8.2.4 [temp.deduct]
paragraph 4.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35989
------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.
Reply to: