Proposed resolution (June, 2009):
Change 6.6 [basic.link] paragraph 8 as follows:
...A type without linkage shall not be used as the type of a variable or function with external linkage, unless
the variable or function has
extern "C"C language linkage (9.12 [dcl.link]), orthe variable or function is declared within an unnamed namespace (9.9.2 [namespace.def]), or
the variable or function is not used (6.3 [basic.def.odr]) or is defined in the same translation unit.
[Drafting note: the context shown for the preceding resolution assumes that the resolution for issue 757 has been applied.]