Update 4249 with simpler P/R from Hewill Kang on reflector

Author: jwakely

xml/issue4249.xml

@@ -84,9 +84,7 @@ at the end of the source range when incrementing the outer iterator,
 which by definition means that iterating through the inner range
 <i>didn't</i> exhaust it."
 </p>
-</discussion>
-
-<resolution>
+<superseded>
 <p>
 This wording is relative to <paper num="N5008"/>.
 </p>
@@ -196,6 +194,68 @@ else</ins>
 </li>
 
 </ol>
+</superseded>
+
+<note>2025-10-21; Hewill Kang provides simpler wording</note>
+
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N5014"/>.
+</p>
+
+<ol>
+
+<li><p>Modify <sref ref="[range.lazy.split.outer]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+constexpr <i>outer-iterator</i>&amp; operator++();
+</pre>
+<blockquote>
+<p>
+-6- <i>Effects:</i> Equivalent to:
+</p>
+<blockquote><pre>
+const auto end = ranges::end(<i>parent_</i>-&gt;<i>base_</i>);
+if (<i>current</i> == end) {
+  <i>trailing_empty_</i> = false;
+  return <code>*this</code>;
+}
+const auto [pbegin, pend] = subrange{<i>parent_</i>-&gt;<i>pattern_</i>};
+if (pbegin == pend) ++<i>current</i>;
+else if constexpr (<i>tiny-range</i>&lt;Pattern&gt;) {
+  <i>current</i> = ranges::find(std::move(<i>current</i>), end, *pbegin);
+  if (<i>current</i> != end) {
+    ++<i>current</i>;
+    if (<i>current</i> == end)
+      <i>trailing_empty_</i> = true;
+    <ins>else if constexpr (!forward_range&lt;V&gt;)
+      <i>trailing_empty_</i> = true;</ins>
+  }
+}
+else {
+  do {
+    auto [b, p] = ranges::mismatch(<i>current</i>, end, pbegin, pend);
+    if (p == pend) {
+      <i>current</i> = b;
+      if (<i>current</i> == end)
+        <i>trailing_empty_</i> = true;
+      break;            <i>// The pattern matched; skip it</i>
+    }
+  } while (++<i>current</i> != end);
+}
+return *this;
+</pre></blockquote>
+</blockquote>
+</blockquote>
+
+</li>
+
+</ol>
+
+
 </resolution>
 
 </issue>