From 3807e0ce86926c43d5ebb8d6d9c185d60f7421b1 Mon Sep 17 00:00:00 2001
From: Jens Maurer <Jens.Maurer@gmx.net>
Date: Sat, 21 Aug 2021 09:16:26 +0200
Subject: [PATCH] [basic.pre,basic.link] Clarify 'declaration of entity' vs.
 namespace-alias

---
 source/basic.tex | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index fcc799b661..a6d6ff0fac 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -85,9 +85,16 @@
 The interpretation of a \grammarterm{for-range-declaration} produces
 one or more of the above\iref{stmt.ranged}.
 \end{note}
-An entity $E$ is denoted by the name (if any)
-that is introduced by a declaration of $E$ or
-by a \grammarterm{typedef-name} introduced by a declaration specifying $E$.
+An entity $E$ is denoted by
+\begin{itemize}
+\item
+the name (if any) that is introduced by a declaration of $E$, or
+\item
+a \grammarterm{typedef-name} introduced by a declaration specifying $E$, or
+\item
+a \grammarterm{namespace-alias} introduced by
+a \grammarterm{namespace-alias-definition} denoting $E$.
+\end{itemize}
 
 \pnum
 A \defn{variable} is introduced by the
@@ -2716,7 +2723,15 @@
 they both declare names with external linkage.
 \end{itemize}
 \begin{note}
-There are other circumstances in which declarations declare the same entity%
+An \grammarterm{alias-declaration}\iref{dcl.typedef},
+a \grammarterm{using-declarator}\iref{namespace.udecl}, or
+a \grammarterm{namespace-alias-definition}\iref{namespace.alias}
+does not declare any entities;
+a \grammarterm{typedef-name} or \grammarterm{namespace-alias}
+is not an entity\iref{basic.pre}.
+\end{note}
+\begin{note}
+There are other circumstances in which declarations declare the same entity
 \iref{dcl.link,temp.type,temp.spec.partial}.
 \end{note}