On 04/12/2012 05:08 PM, Jason Merrill wrote:
The fixup stuff is a solution to the problem of typedefs with incompatible template parameters leading to crashes, but it seems to me that this is just a symptom of the problem of replacing one typedef with another, and we should attack that underlying problem instead. That problem is also visible when the typedefs have different names and an error message ends up talking about the wrong one.
It seems to me that the way to do this is to strip typedefs from non-type arguments like strip_typedefs does for types. Did we try this before?
I'm going to give this a try. Jason
