Skip to content

Commit 08c4a14

Browse files
burblebeetkoeppe
authored andcommitted
LWG3850 views::as_const on empty_view<T> should return empty_view<const T>
1 parent 34af481 commit 08c4a14

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

source/ranges.tex

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8628,6 +8628,10 @@
86288628
then \tcode{views::all(E)}.
86298629
\item
86308630
Otherwise,
8631+
if \tcode{U} denotes \tcode{empty_view<X>}
8632+
for some type \tcode{X}, then \tcode{auto(views::empty<const X>)}.
8633+
\item
8634+
Otherwise,
86318635
if \tcode{U} denotes \tcode{span<X, Extent>}
86328636
for some type \tcode{X} and some extent \tcode{Extent},
86338637
then \tcode{span<const X, Extent>(E)}.

0 commit comments

Comments
 (0)