From: widman_at_[hidden]
Date: 2008-05-18 14:34:12
Author: james.widman
Date: 2008-05-18 14:34:11 EDT (Sun, 18 May 2008)
New Revision: 45493
URL: http://svn.boost.org/trac/boost/changeset/45493
Log:
Clarified that ADL does not occur when satisfying a requirement for a function and at least one overload with the same name was defined in the concept map.
Text files modified:
sandbox/committee/concepts/wording/wording.tex | 7 +++++--
1 files changed, 5 insertions(+), 2 deletions(-)
Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-05-18 14:34:11 EDT (Sun, 18 May 2008)
@@ -4097,8 +4097,11 @@
function template definitions with the same name as
\mbox{\tcode{f}},
\mbox{\tcode{E}} is \mbox{\tcode{f(parm1$'$, parm2$'$,
- ..., parm$N'$)}}, where name lookup of \mbox{\tcode{f}} refers
- to the definitions of \mbox{\tcode{f}} in the concept map,}
+ ..., parm$N'$)}}, and the overload set of entities
+ \mbox{\tcode{f}} consists of the definitions of \mbox{\tcode{f}} in
+ the concept map (and unqualified lookup
+ \mbox{\ref{basic.lookup.unqual}} and argument dependent lookup
+ \mbox{\ref{basic.lookup.argdep}} are suppressed),}
\additemCC{if \mbox{\tcode{f}} is a non-static associated member
function and the concept map contains one or more member function