Proposed resolution (February, 2010):
Change 13.9.3 [temp.explicit] paragraph 1 as follows:
...An explicit instantiation of a function template or member function of a class template shall not use the inline or constexpr specifiers.