http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55525
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2012-11-29 AssignedTo|unassigned at gcc dot |rguenth at gcc dot gnu.org |gnu.org | Ever Confirmed|0 |1 --- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> 2012-11-29 08:53:09 UTC --- Mine. I suppose we could simply error out for the mismatch. The issue here is of course that we simply substitute the prevailing declaration into expressions that expect the mismatching type. Let me think a bit more about this.