Skip to content

Commit

Permalink
[dcl.type.elab] Don't start a normative paragraph with a note
Browse files Browse the repository at this point in the history
Rather than having a paragraph consist of a note plus normative text,
move the note into its own paragraph. Consolidate the notes serving as
a pointer to name lookup rules, distinct from the note that applies
only to friend declarations. Clarify that the next paragraph is talking
about any elaborated-type-specifier at all, not just the ones in p4.
  • Loading branch information
Quuxplusone committed Feb 9, 2024
1 parent 8238252 commit 4f332c4
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions source/declarations.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1533,17 +1533,20 @@
\begin{note}
A \grammarterm{using-directive} in the target scope is ignored
if it refers to a namespace not contained by that scope.
\ref{basic.lookup.elab} describes how name lookup proceeds
in an \grammarterm{elaborated-type-specifier}.
\end{note}

\pnum
\begin{note}
\ref{basic.lookup.elab} describes how name lookup proceeds
in an \grammarterm{elaborated-type-specifier}.
An \grammarterm{elaborated-type-specifier} can be used to refer to
a previously declared \grammarterm{class-name} or \grammarterm{enum-name}
even if the name has been hidden by a non-type declaration.
\end{note}

\pnum
If the \grammarterm{identifier} or \grammarterm{simple-template-id}
in an \grammarterm{elaborated-type-specifier}
resolves to a \grammarterm{class-name} or
\grammarterm{enum-name}, the \grammarterm{elaborated-type-specifier}
introduces it into the declaration the same way a
Expand All @@ -1563,7 +1566,7 @@

\pnum
The \grammarterm{class-key} or \keyword{enum} keyword
present in the
present in an
\grammarterm{elaborated-type-specifier} shall agree in kind with the
declaration to which the name in the
\grammarterm{elaborated-type-specifier} refers. This rule also applies to
Expand Down

0 comments on commit 4f332c4

Please sign in to comment.