https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98116
--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Nathan Sidwell <nat...@gcc.gnu.org>: https://gcc.gnu.org/g:9d0eb0ae948f0fbee208cfb9a86133abea650f81 commit r11-5824-g9d0eb0ae948f0fbee208cfb9a86133abea650f81 Author: Nathan Sidwell <nat...@acm.org> Date: Mon Dec 7 07:02:58 2020 -0800 c++: check alias match for specializations [PR98116] This fixes the underlying problem my recent (backedout) changes to array type creation uncovered. We had paths through structural_comptypes that ignored alias templates, even when significant. This adds the necessary checks. PR c++/98116 gcc/cp/ * typeck.c (structural_comptypes): Move early outs to comptype. Always check template-alias match when comparing_specializations. (comptypes): Do early out checking here. gcc/testsuite/ * g++.dg/template/pr98116.C: Remove dg-ice. * g++.dg/template/pr98116-2.C: New.