Skip to content

Commit 373176c

Browse files
CaseyCarterzygoloid
authored andcommitted
[concept.swappable] Strike array poison pill swap overload
Since lookup is only performed when at least one argument has class or enumeration type, template argument deduction can never succeed for the poisin pill overload with two parameters of reference-to-array type; it can be struck with no normative impact.
1 parent 8845c5c commit 373176c

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

source/concepts.tex

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -578,12 +578,10 @@
578578
\tcode{S} is \tcode{(void)swap(E1, E2)}\footnote{The name \tcode{swap} is used
579579
here unqualified.} if \tcode{E1} or \tcode{E2}
580580
has class or enumeration type\iref{basic.compound} and that expression is valid, with
581-
overload resolution performed in a context that includes the declarations
581+
overload resolution performed in a context that includes the declaration
582582
\begin{codeblock}
583583
template<class T>
584584
void swap(T&, T&) = delete;
585-
template<class T, size_t N>
586-
void swap(T(&)[N], T(&)[N]) = delete;
587585
\end{codeblock}
588586
and does not include a declaration of \tcode{ranges::swap}.
589587
If the function selected by overload resolution does not

0 commit comments

Comments
 (0)