Skip to content

Commit 7fe6559

Browse files
committed
[temp.dep] [temp.dep.res] Remove redundant restatement of the two-phase
lookup rule. The primary location of the rule is [temp.dep.candidate].
1 parent 8fbeb52 commit 7fe6559

File tree

1 file changed

+5
-16
lines changed

1 file changed

+5
-16
lines changed

source/templates.tex

Lines changed: 5 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -4583,6 +4583,8 @@
45834583
(that is, its value when evaluated as a constant expression\iref{expr.const}
45844584
may depend on a template parameter)
45854585
as described in this subclause.
4586+
4587+
\pnum
45864588
In an expression of the form:
45874589

45884590
\begin{ncsimplebnf}
@@ -4619,10 +4621,12 @@
46194621

46204622
If an operand of an operator is a type-dependent expression, the operator
46214623
also denotes a dependent name.
4624+
\begin{note}
46224625
Such names are unbound and
46234626
are looked up at the point of the template instantiation\iref{temp.point} in
46244627
both the context of the template definition and the
4625-
context of the point of instantiation.
4628+
context of the point of instantiation\iref{temp.dep.candidate}.
4629+
\end{note}
46264630

46274631
\pnum
46284632
\begin{example}
@@ -5317,21 +5321,6 @@
53175321
\end{example}
53185322

53195323
\rSec2[temp.dep.res]{Dependent name resolution}
5320-
5321-
\pnum
5322-
\indextext{name!dependent}%
5323-
In resolving dependent names, names from the following sources are considered:
5324-
5325-
\begin{itemize}
5326-
\item
5327-
Declarations that are visible at the point of definition of the
5328-
template.
5329-
\item
5330-
Declarations from namespaces associated with the types of the
5331-
function arguments both from the instantiation context\iref{temp.point}
5332-
and from the definition context.
5333-
\end{itemize}
5334-
53355324
\rSec3[temp.point]{Point of instantiation}
53365325

53375326
\pnum

0 commit comments

Comments
 (0)