https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95726
--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Dunno, perhaps for backporting it could be done in template_args_equal instead? Like I said, it would probably need to handle also POINTER/REFERENCE/ARRAY_TYPE whose ultimate element type is VECTOR_TYPE possibly affected by this. Dunno about aggregates, I'd hope we set TYPE_CANONICAL for most of them and therefore shouldn't care about this. If comptypes returns false for these, can one still implicitly convert them to the other vector types? Does 32-bit ARM have similar types too? Anyway, your questions are more for Jason...