[Bug c++/35989] code rejected in template specialization (4.2 did accept)

[jwakely dot gcc at gmail dot com]

------- Comment #4 from jwakely dot gcc at gmail dot com  2009-07-24 10:12 
-------
(In reply to comment #3)
> Simple case :
> 
> 
> template<typename C> struct A {};
> template<typename C> struct B { struct Inner {}; };
> 
> template<typename K>
> struct A<typename B<K>::Inner> {};
> 
> 
> 4.1.2/VS2005 compile quietly. 4.3.2 (g++ -c test.cpp) gives :
> 
> kk.cpp:5: error: template parameters not used in partial specialization:
> kk.cpp:5: error:         ‘K’
> 

I think this is invalid because K is used in a non-deduced context


-- 


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