[RFH / Patch] PR 20140

[Jason Merrill]

On 01/02/2012 08:25 AM, Paolo Carlini wrote:
> Bad, because currently many
> circumstances in which we do TREE_TYPE (init) = type are in fact benign:

I don't think they are benign.  Even when types are equivalent, we need 
to convert between them, as several things in the back end rely on 
pointer equality, and we don't want different instantiations changing 
the type in subtly different ways.

Jason