LWG3738 Missing preconditions for take_view constructor

burblebee · tkoeppe · commit 3617d8340e31 · 2022-12-15T14:16:40.000Z
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -5806,6 +5806,10 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\expects
+\tcode{count >= 0} is \tcode{true}.
+
 \pnum
 \effects
 Initializes \exposid{base_} with \tcode{std::move(base)} and
