Skip to content

Commit 56b73a9

Browse files
burblebeetkoeppe
authored andcommitted
LWG3426 operator<=>(const unique_ptr<T, D>&, nullptr_t) can't get no satisfaction
1 parent 1646674 commit 56b73a9

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

source/utilities.tex

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7116,8 +7116,8 @@
71167116
template<class T, class D>
71177117
bool operator>=(nullptr_t, const unique_ptr<T, D>& y);
71187118
template<class T, class D>
7119-
requires @\libconcept{three_way_comparable_with}@<typename unique_ptr<T, D>::pointer, nullptr_t>
7120-
compare_three_way_result_t<typename unique_ptr<T, D>::pointer, nullptr_t>
7119+
requires @\libconcept{three_way_comparable}@<typename unique_ptr<T, D>::pointer>
7120+
compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
71217121
operator<=>(const unique_ptr<T, D>& x, nullptr_t);
71227122

71237123
template<class E, class T, class Y, class D>
@@ -9617,15 +9617,17 @@
96179617
\indexlibrarymember{operator<=>}{unique_ptr}%
96189618
\begin{itemdecl}
96199619
template<class T, class D>
9620-
requires @\libconcept{three_way_comparable_with}@<typename unique_ptr<T, D>::pointer, nullptr_t>
9621-
compare_three_way_result_t<typename unique_ptr<T, D>::pointer, nullptr_t>
9620+
requires @\libconcept{three_way_comparable}@<typename unique_ptr<T, D>::pointer>
9621+
compare_three_way_result_t<typename unique_ptr<T, D>::pointer>
96229622
operator<=>(const unique_ptr<T, D>& x, nullptr_t);
96239623
\end{itemdecl}
96249624

96259625
\begin{itemdescr}
96269626
\pnum
96279627
\returns
9628-
\tcode{compare_three_way()(x.get(), nullptr)}.
9628+
\begin{codeblock}
9629+
compare_three_way()(x.get(), static_cast<typename unique_ptr<T, D>::pointer>(nullptr)).
9630+
\end{codeblock}
96299631
\end{itemdescr}
96309632

96319633
\rSec3[unique.ptr.io]{I/O}

0 commit comments

Comments
 (0)