Skip to content

Commit aa21c81

Browse files
authored
[dcl.type.elab] Move note to separate paragraph
Also clarify that the next paragraph is talking about any elaborated-type-specifier at all, not just the ones in p4.
1 parent 2b7cd6e commit aa21c81

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

source/declarations.tex

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1556,17 +1556,20 @@
15561556
\begin{note}
15571557
A \grammarterm{using-directive} in the target scope is ignored
15581558
if it refers to a namespace not contained by that scope.
1559-
\ref{basic.lookup.elab} describes how name lookup proceeds
1560-
in an \grammarterm{elaborated-type-specifier}.
15611559
\end{note}
15621560

15631561
\pnum
15641562
\begin{note}
1563+
\ref{basic.lookup.elab} describes how name lookup proceeds
1564+
in an \grammarterm{elaborated-type-specifier}.
15651565
An \grammarterm{elaborated-type-specifier} can be used to refer to
15661566
a previously declared \grammarterm{class-name} or \grammarterm{enum-name}
15671567
even if the name has been hidden by a non-type declaration.
15681568
\end{note}
1569+
1570+
\pnum
15691571
If the \grammarterm{identifier} or \grammarterm{simple-template-id}
1572+
in an \grammarterm{elaborated-type-specifier}
15701573
resolves to a \grammarterm{class-name} or
15711574
\grammarterm{enum-name}, the \grammarterm{elaborated-type-specifier}
15721575
introduces it into the declaration the same way a
@@ -1586,7 +1589,7 @@
15861589

15871590
\pnum
15881591
The \grammarterm{class-key} or \keyword{enum} keyword
1589-
present in the
1592+
present in an
15901593
\grammarterm{elaborated-type-specifier} shall agree in kind with the
15911594
declaration to which the name in the
15921595
\grammarterm{elaborated-type-specifier} refers. This rule also applies to

0 commit comments

Comments
 (0)