LWG3578 Iterator SCARYness in the context of associative container merging

Author: burblebee

source/containers.tex

@@ -3535,7 +3535,7 @@
 
 \pnum
 \expects
-\tcode{a.get_allocator() == a2.get_allocator()}.
+\tcode{a.get_allocator() == a2.get_allocator()} is \tcode{true}.
 
 \pnum
 \effects
@@ -3550,7 +3550,8 @@
 \ensures
 Pointers and references to the transferred elements of \tcode{a2}
 refer to those same elements but as members of \tcode{a}.
-Iterators referring to the transferred elements
+If \tcode{a.begin()} and \tcode{a2.begin()} have the same type,
+iterators referring to the transferred elements
 will continue to refer to their elements,
 but they now behave as iterators into \tcode{a}, not into \tcode{a2}.