[PATCH] PR c++/42225

[Jason Merrill]

On 12/13/2009 03:56 PM, Dodji Seketeli wrote:
> When we compare the two S0<TTI>  (the one from S and the one from foo), we
> end up comparing the two typename T::TI - as the TTI typedef is stripped -
> and at some point we compare the two T. In one case, T is a typedef,
> and in the other case, it's a template parameter. The two Ts are considered
> equal, and I think that's correct.

...but clearly it's a problem.  What happens if you remove the TTIs and 
just say T::TI in both places?

Jason