@@ -18140,19 +18140,17 @@
18140
18140
\tcode{template<class From, class To>}\br
18141
18141
\tcode{struct is_convertible;} &
18142
18142
\seebelow &
18143
- \tcode{From} and \tcode{To} shall be complete
18144
- types, arrays of unknown
18145
- bound, or \cv{}~\tcode{void} types. \\ \rowsep
18143
+ \tcode{From} and \tcode{To} shall be complete types,
18144
+ \cv{}~\tcode{void}, or arrays of unknown bound. \\ \rowsep
18146
18145
18147
18146
\indexlibraryglobal{is_nothrow_convertible}%
18148
18147
\tcode{template<class From, class To>}\br
18149
18148
\tcode{struct is_nothrow_convertible;} &
18150
18149
\tcode{is_convertible_v<From, To>} is \tcode{true} and
18151
18150
the conversion, as defined by \tcode{is_convertible},
18152
18151
is known not to throw any exceptions\iref{expr.unary.noexcept} &
18153
- \tcode{From} and \tcode{To} shall be complete
18154
- types, arrays of unknown
18155
- bound, or \cv{}~\tcode{void} types. \\ \rowsep
18152
+ \tcode{From} and \tcode{To} shall be complete types,
18153
+ \cv{}~\tcode{void}, or arrays of unknown bound. \\ \rowsep
18156
18154
18157
18155
\indexlibraryglobal{is_layout_compatible}%
18158
18156
\tcode{template<class T, class U>}\br
@@ -18582,12 +18580,12 @@
18582
18580
\tcode{remove_extent_t<U>*}. If \tcode{is_function_v<U>} is \tcode{true},
18583
18581
the member typedef \tcode{type} shall equal \tcode{add_pointer_t<U>}. Otherwise
18584
18582
the member typedef \tcode{type} equals \tcode{remove_cv_t<U>}.
18585
- \begin{note}
18583
+ \begin{note}
18586
18584
This behavior is similar to the lvalue-to-rvalue\iref{conv.lval},
18587
- array-to-pointer\iref{conv.array}, and function-to-pointer\iref{conv.func}
18588
- conversions applied when an lvalue is used as an rvalue, but also
18589
- strips \ cv-qualifiers from class types in order to more closely model by-value
18590
- argument passing.
18585
+ array-to-pointer\iref{conv.array}, and function-to-pointer\iref{conv.func}
18586
+ conversions applied when an lvalue is used as an rvalue, but also
18587
+ strips cv-qualifiers from class types in order to more closely model by-value
18588
+ argument passing.
18591
18589
\end{note}
18592
18590
\\ \rowsep
18593
18591
0 commit comments