https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67862
Andrew Sutton <andrew.n.sutton at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |andrew.n.sutton at gmail dot com --- Comment #2 from Andrew Sutton <andrew.n.sutton at gmail dot com> --- Created attachment 46849 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46849&action=edit Patch against concepts-cxx2a (git format-patch format) The original attachment doesn't build any more (compiler version issues) and the 2nd issue has some compilation errors. After fixing the compilation errors, this produces an ICE. The attached patch fixes the associated crash, but this is likely not the same as the issue originally submitted, which has either already been fixed or is handled in completely different way. There are two fixes here. First, normalization needs to find template parameters in template-ids, including specializations of type alias templates. Second, the normalization arguments from partial specializations must be formed from the specialization parameters and not the most general template. The included test is a fixed version of the 2nd attachment.