[contents,fs.req.namespace] No argument-dependent lookup

is performed for function calls throughout the standard library,
unless otherwise specified.

Author: jensmaurer

source/containers.tex

@@ -1535,6 +1535,8 @@
 Calls \tcode{swap(ptr_, nh.ptr_)}. If \tcode{!alloc_}, or
 \tcode{!nh.alloc_}, or \tcode{ator_traits::propagate_on_container_swap::value}
 is \tcode{true} calls \tcode{swap(alloc_, nh.alloc_)}.
+In either case, argument-dependent name lookup\iref{basic.lookup.argdep}
+is not performed.
 \end{itemdescr}
 
 \rSec2[container.insert.return]{Insert return type}

source/iostreams.tex

@@ -11511,8 +11511,6 @@
 
 \rSec2[fs.req]{Requirements}
 
-\rSec3[fs.req.general]{General}
-
 \pnum
 Throughout subclause~\ref{filesystems}, \tcode{char}, \tcode{wchar_t}, \tcode{char8_t},
 \tcode{char16_t}, and \tcode{char32_t} are collectively called
@@ -11541,12 +11539,6 @@
 Template parameters named \tcode{Allocator} shall meet the
 \oldconcept{Allocator} requirements (\tref{cpp17.allocator}).
 
-\rSec3[fs.req.namespace]{Namespaces and headers}
-
-\pnum
-Unless otherwise specified, references to entities described in
-subclause~\ref{filesystems} are assumed to be qualified with \tcode{::std::filesystem::}.
-
 \rSec2[fs.filesystem.syn]{Header \tcode{<filesystem>} synopsis}
 
 \indexheader{filesystem}%

source/lib-intro.tex

@@ -900,14 +900,19 @@
 \end{footnote}
 
 \pnum
-Whenever a name \tcode{x} defined in the standard library is mentioned,
-the name \tcode{x} is assumed to be fully qualified as
-\tcode{::std::x},
-unless explicitly described otherwise. For example, if the \effects element
-for library function \tcode{F} is described as calling library function \tcode{G},
-the function
-\tcode{::std::G}
-is meant.
+Unless otherwise specified,
+argument-dependent name lookup\iref{basic.lookup.argdep} is only performed
+within the standard library
+\begin{itemize}
+\item
+for \grammarterm{operator-function-id}s and
+\item
+for the \grammarterm{identifier} \tcode{swap},
+in an overload-resolution context for swappable values\iref{swappable.requirements}.
+\end{itemize}
+\begin{note}
+An implementation could use \grammarterm{qualified-id}{s} to achieve that.
+\end{note}
 
 \rSec3[headers]{Headers}
 

source/xrefdelta.tex

@@ -44,5 +44,11 @@
 \movedxref{temp.class.order}{temp.spec.partial.order}
 \movedxref{temp.class.spec.mfunc}{temp.spec.partial.member}
 
+% Consolidated boilerplate about argument-dependent lookup in [contents].
+\removedxref{fs.req.namespace}
+
+% Dissolved the only sibling subclause
+\movedxref{fs.req.general}{fs.req}
+
 % Deprecated features.
 %\deprxref{old.label}  (if moved to depr.old.label, otherwise use \movedxref)