|
5902 | 5902 | Otherwise, if \tcode{T} is a specialization of |
5903 | 5903 | \tcode{optional} and \tcode{T} models \libconcept{view}, then |
5904 | 5904 | \tcode{(static_cast<D>(F) == D() ? ((void)E, T()) : \exposidnc{decay-copy}(E))}. |
| 5905 | + |
5905 | 5906 | \item |
5906 | 5907 | Otherwise, if \tcode{T} models |
5907 | 5908 | \libconcept{random_access_range} and \libconcept{sized_range} |
|
6384 | 6385 | then \tcode{((void)F, \exposidnc{decay-copy}(E))}, |
6385 | 6386 | except that the evaluations of \tcode{E} and \tcode{F} |
6386 | 6387 | are indeterminately sequenced. |
| 6388 | + |
6387 | 6389 | \item |
6388 | 6390 | Otherwise, if \tcode{T} is a specialization of \tcode{optional} |
6389 | 6391 | and \tcode{T} models \libconcept{view}, then |
6390 | 6392 | \tcode{(static_cast<D>(F) == D() ? \exposidnc{decay-copy}(E) : ((void)E, T()))}. |
| 6393 | + |
6391 | 6394 | \item |
6392 | 6395 | Otherwise, if \tcode{T} models |
6393 | 6396 | \libconcept{random_access_range} and \libconcept{sized_range} |
|
9916 | 9919 | If the type of \tcode{E} is |
9917 | 9920 | a (possibly cv-qualified) specialization of \tcode{reverse_view}, |
9918 | 9921 | then \tcode{E.base()}. |
| 9922 | + |
9919 | 9923 | \item |
9920 | 9924 | Otherwise, if \tcode{E} is specialization of \tcode{optional} and \tcode{E} |
9921 | 9925 | models \libconcept{view}, then \tcode{\exposidnc{decay-copy}(E)}. |
| 9926 | + |
9922 | 9927 | \item |
9923 | 9928 | Otherwise, if the type of \tcode{E} is \cv{} \tcode{subrange<reverse_iterator<I>, reverse_iterator<I>, K>} |
9924 | 9929 | for some iterator type \tcode{I} and |
|
10070 | 10075 | Otherwise, |
10071 | 10076 | if \tcode{U} denotes \tcode{empty_view<X>} |
10072 | 10077 | for some type \tcode{X}, then \tcode{auto(views::empty<const X>)}. |
| 10078 | + |
10073 | 10079 | \item |
10074 | 10080 | Otherwise, if \tcode{U} denotes \tcode{optional<X\&>} |
10075 | 10081 | for some type \tcode{X}, then \tcode{optional<const X\&>(E)}. |
| 10082 | + |
10076 | 10083 | \item |
10077 | 10084 | Otherwise, |
10078 | 10085 | if \tcode{U} denotes \tcode{span<X, Extent>} |
|
0 commit comments