LWG3203 span element access invalidation

Author: burblebee

source/containers.tex

@@ -18355,6 +18355,12 @@
 \tcode{ElementType} is required to be
 a complete object type that is not an abstract class type.
 
+\pnum
+For a \tcode{span} \tcode{s},
+any operation that invalidates a pointer in
+the range \range{s.data()}{s.data() + s.size()}
+invalidates pointers, iterators, and references to elements of \tcode{s}.
+
 \rSec4[span.cons]{Constructors, copy, and assignment}
 
 \indexlibraryctor{span}%

source/strings.tex

@@ -751,10 +751,10 @@
 any operation that invalidates a pointer
 in the range
 \begin{codeblock}
-@\range{str.data()}{\brk{}str.data() + str.size()}@
+@\range{str.data()}{str.data() + str.size()}@
 \end{codeblock}
 invalidates pointers, iterators, and references
-returned from \tcode{str}'s member functions.
+to elements of \tcode{str}.
 
 \pnum
 The complexity of \tcode{basic_string_view} member functions is \bigoh{1}