diff --git a/source/modules.tex b/source/modules.tex index 3d299b553c..acb04fb625 100644 --- a/source/modules.tex +++ b/source/modules.tex @@ -639,14 +639,13 @@ \item $D$ is decl-reachable from $M$, or \item -$D$ redeclares the entity declared by $M$ or -$M$ redeclares the entity declared by $D$, +$D$ and $M$ declare the same entity, and $D$ neither is a friend declaration nor inhabits a block scope, or \item $D$ declares a namespace $N$ and $M$ is a member of $N$, or \item -one of $M$ and $D$ declares a class or class template $C$ +one of $D$ and $M$ declares a class or class template $C$ and the other declares a member or friend of $C$, or \item one of $D$ and $M$ declares an enumeration $E$ @@ -659,11 +658,11 @@ \end{footnote} or \item -one of $M$ and $D$ declares a template and the other declares +one of $D$ and $M$ declares a template and the other declares a partial or explicit specialization or an implicit or explicit instantiation of that template, or \item -one of $M$ and $D$ declares a class or enumeration type +one of $D$ and $M$ declares a class or enumeration type and the other introduces a typedef name for linkage purposes for that type. \end{itemize} \end{itemize}