[Bug c++/35989] code rejected in template specialization (4.2 did accept)
------- 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
------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.
Reply to: