http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56328
--- Comment #7 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-02-15 09:12:18 UTC --- (In reply to comment #5) > > I fully agree. But why is there a difference then between the base template > and > the specialization? I am not arguing that the specialized template should work > when declared inline, I am questioning the fact that the behavior is different > for specialized and non-specialized templates, and I could not find an > explanation in the standard. The program is ill-formed, no diagnostic required, the standard doesn't have to define how it's handled.