------- 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
