[concept.swappable,iterator.cust] Replace 'ill-formed, no diagnostic …

…required' with 'the behavior is undefined'.
cplusplus · Feb 22, 2020 · 1043277 · 1043277
1 parent ac0d8f9
commit 1043277
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/source/concepts.tex b/source/concepts.tex
@@ -589,7 +589,7 @@
   If the function selected by overload resolution does not
   exchange the values denoted by
   \tcode{E1} and \tcode{E2},
-  the program is ill-formed with no diagnostic required.
+  the behavior is undefined.
 
 \item
   Otherwise, if \tcode{E1} and \tcode{E2}

diff --git a/source/iterators.tex b/source/iterators.tex
@@ -1074,8 +1074,8 @@
 \end{itemize}
 
 \pnum
-If \tcode{ranges::iter_move(E)} is not equal to \tcode{*E}, the program is
-ill-formed with no diagnostic required.
+If \tcode{ranges::iter_move(E)} is not equal to \tcode{*E},
+the behavior is undefined.
 
 \rSec3[iterator.cust.swap]{\tcode{ranges::iter_swap}}
 
@@ -1118,8 +1118,8 @@
 \end{codeblock}
 and does not include a declaration of \tcode{ranges::iter_swap}.
 If the function selected by overload resolution does not exchange the values
-denoted by \tcode{E1} and \tcode{E2}, the program is
-ill-formed with no diagnostic required.
+denoted by \tcode{E1} and \tcode{E2},
+the behavior is undefined.
 
 \item Otherwise, if the types of \tcode{E1} and \tcode{E2} each model
 \tcode{indirectly_readable}, and if the reference types of \tcode{E1} and \tcode{E2}