Proposed resolution (November, 2009): Change 13.9.4 [temp.expl.spec] paragraph 14 as follows:
An explicit specialization of a function template is inline only if it
is
explicitly declared to be with the
inline specifier or defined as deleted, and
independently of whether its function template is
inline. [Example:...
According to 13.9.4 [temp.expl.spec] paragraph 14, This could be read to require that the inline keyword must
appear in the declaration. However, 9.6 [dcl.fct.def] paragraph 10
says that a deleted function is implicitly inline, so it
should be made clear that defining an explicit specialization as
deleted makes it inline.
An explicit specialization of a function template is inline only if it
is explicitly declared to be...