LWG4096 views::iota(views::iota(0)) should be rejected

Author: burblebee

source/ranges.tex

@@ -2663,7 +2663,8 @@
 Given subexpressions \tcode{E} and \tcode{F}, the expressions
 \tcode{views::iota(E)} and \tcode{views::iota(E, F)}
 are expression-equivalent to
-\tcode{iota_view(E)} and \tcode{iota_view(E, F)}, respectively.
+\tcode{iota_view<decay_t<decltype((E))>>(E)} and \tcode{iota_view(E, F)},
+respectively.
 
 \pnum
 \begin{example}