[Voted into WP at March, 2010 meeting.]

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,

An explicit specialization of a function template is inline only if it is explicitly declared to be...

This could be read to require that the inline keyword must appear in the declaration. However, 9.5 [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.