[unique.ptr.single.ctor] Simplify description of unique_ptr constructors

Author: jensmaurer

source/utilities.tex

@@ -8216,39 +8216,11 @@
 
 \indexlibrary{\idxcode{unique_ptr}!constructor}%
 \begin{itemdecl}
-unique_ptr(pointer p, @\seebelow@ d1) noexcept;
-unique_ptr(pointer p, @\seebelow@ d2) noexcept;
+unique_ptr(pointer p, const D& d) noexcept;
+unique_ptr(pointer p, remove_reference_t<D>&& d) noexcept;
 \end{itemdecl}
 
 \begin{itemdescr}
-\pnum
-The signature of these constructors depends upon whether \tcode{D}
-is a reference type. If \tcode{D} is a non-reference type
-\tcode{A}, then the signatures are:
-
-\begin{codeblock}
-unique_ptr(pointer p, const A& d) noexcept;
-unique_ptr(pointer p, A&& d) noexcept;
-\end{codeblock}
-
-\pnum
-If \tcode{D} is an lvalue reference type \tcode{A\&},
-then the signatures are:
-
-\begin{codeblock}
-unique_ptr(pointer p, A& d) noexcept;
-unique_ptr(pointer p, A&& d) = delete;
-\end{codeblock}
-
-\pnum
-If \tcode{D} is an lvalue reference type \tcode{const A\&},
-then the signatures are:
-
-\begin{codeblock}
-unique_ptr(pointer p, const A& d) noexcept;
-unique_ptr(pointer p, const A&& d) = delete;
-\end{codeblock}
-
 \pnum
 \requires For the first constructor, if \tcode{D} is not a reference type,
 \tcode{D} shall satisfy the \oldconcept{CopyConstructible} requirements and
@@ -8263,7 +8235,9 @@
 from \tcode{std::forward<decltype(d)>(d)}.
 
 \pnum
-\remarks These constructors shall not participate in overload resolution
+\remarks If \tcode{D} is a reference type,
+the second constructor is defined as deleted.
+These constructors shall not participate in overload resolution
 unless \tcode{is_constructible_v<D, decltype(d)>} is \tcode{true}.
 
 \pnum