LWG3622 Misspecified transitivity of equivalence in §[unord.req.general]

Author: burblebee

source/containers.tex

@@ -4173,15 +4173,19 @@
   \begin{itemize}
   \item \tcode{eq(r1, ke) == eq(ke, r1)},
   \item \tcode{hf(r1) == hf(ke)} if \tcode{eq(r1, ke)} is \tcode{true}, and
-  \item \tcode{(eq(r1, ke) \&\& eq(r1, r2)) == eq(r2, ke)},
+  \item if any two of
+    \tcode{eq(r1, ke)}, \tcode{eq(r2, ke)} and \tcode{eq(r1, r2)}
+    are \tcode{true}, then all three are \tcode{true},
   \end{itemize}
   where \tcode{r1} and \tcode{r2} are keys of elements in \tcode{a_tran},
 \item
 \tcode{kx} is a value such that
   \begin{itemize}
   \item \tcode{eq(r1, kx) == eq(kx, r1)},
   \item \tcode{hf(r1) == hf(kx)} if \tcode{eq(r1, kx)} is \tcode{true},
-  \item \tcode{(eq(r1, kx) \&\& eq(r1, r2)) == eq(r2, kx)}, and
+  \item if any two of
+    \tcode{eq(r1, kx)}, \tcode{eq(r2, kx)} and \tcode{eq(r1, r2)}
+    are \tcode{true}, then all three are \tcode{true}, and
   \item \tcode{kx} is not convertible to
     either \tcode{iterator} or \tcode{const_iterator},
   \end{itemize}