LWG4079 Missing Preconditions in concat_view::iterator's conversion constructor

burblebee · tkoeppe · commit bd4f125d5076 · 2024-07-12T16:24:22.000+01:00
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -8978,6 +8978,10 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\expects
+\tcode{it.\exposid{it_}.valueless_by_exception()} is \tcode{false}.
+
 \pnum
 \effects
 Initializes \exposid{parent_} with \tcode{it.\exposid{parent_}}, and
