c++/9057: partial template specialization appears to be ignored

[Volker Reichelt]

Hi,

I think gcc is right and the code is actually ill-formed:
If you write

  template <typename U> struct B<A::i, U> {};

instead of

  template <typename U> struct B<i, U> {};

the code compiles fine. Since "i" is actually dependant on the template
parameter "T", that's how you have to do it IMHO.

I'm not 100% sure, however, so I leave this PR open for the experts.

Regards,
Volker

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9057