http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48098
--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-14 10:58:06 UTC --- Hm, we also want the elements to be trivially convertible to the vector element type. So we really want to assert types_compatible_p. I can't see any real problems with the restrict case in question, apart from maybe ICEing in a different place. Any "fix" at this point seems to be more risky than just disabling the assert.
