https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83503
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot gnu.org --- Comment #18 from Jason Merrill <jason at gcc dot gnu.org> --- Assigning to Martin. I was convinced of his position by discussion on the Core reflector, which pointed out that in general explicit specializations are treated as entirely separate from their templates, such that for instance a specialization of a class template isn't required to define members with the same name. But the abi_tag attribute still needs to affect explicit specializations, as it applies to the name rather than any particular instance of a template.