CWG2059 Linkage and deduced return types

Author: Dawn Perchik

source/basic.tex

@@ -2470,21 +2470,12 @@
 \item it is a cv-qualified\iref{basic.type.qualifier} version of a
 type that has linkage.
 \end{itemize}
-A type without linkage shall not be used as the type of a variable or
-function with external linkage unless
-\begin{itemize}
-\item the entity has C language linkage\iref{dcl.link}, or
-
-\item the entity is not odr-used\iref{basic.def.odr} or is defined in
-the same translation unit.
-\end{itemize}
 \begin{note}
 In other words, a type without linkage contains a class or enumeration that
-cannot be named outside its translation unit. An entity with external linkage declared
-using such a type could not correspond to any other entity in another translation unit
-of the program and thus must be defined in the
-translation unit if it is odr-used. Also note that classes with linkage may contain members
-whose types do not have linkage, and that typedef names are ignored in the determination
+cannot be named outside its translation unit.
+Classes with linkage may contain members
+whose types do not have linkage.
+Typedef names are ignored in the determination
 of whether a type has linkage.
 \end{note}
 
@@ -2501,7 +2492,7 @@
   A a = { 1 };
   B<A> ba;              // declares \tcode{B<A>::g(A)} and \tcode{B<A>::h(A)}
   ba.g(a);              // OK
-  ba.h(a);              // error: \tcode{B<A>::h(A) not defined in the translation unit}
+  ba.h(a);              // error: \tcode{B<A>::h(A)} not defined; \tcode{A} cannot be named in another translation unit
   i(ba, a);             // OK
 }
 \end{codeblock}