[Moved to DR at the November, 2014 meeting.]

Proposed Resolution (July, 2014):

Change 6.2 [basic.def] paragraph 2 as follows:

A declaration is a definition unless it... an empty-declaration ( 9.1 [dcl.pre]), or a using-directive (9.8.4 [namespace.udir]), an explicit instantiation declaration (13.9.3 [temp.explicit]), or an explicit specialization (13.9.4 [temp.expl.spec]) whose declaration is not a definition.

Sections 13.9.3 [temp.explicit] and 13.9.4 [temp.expl.spec] describe cases of explicit instantiation directives and explicit specializations, respectively, that are not definitions. However, the description in 6.2 [basic.def] does not include these distinctions, classifying all declarations other than those listed as definitions. These should be harmonized.