LWG4144 Disallow unique_ptr<T&, D>

Author: burblebee

source/memory.tex

@@ -2084,6 +2084,14 @@
 }
 \end{codeblock}
 
+\pnum
+A program that instantiates the definition of \tcode{unique_ptr<T, D>}
+is ill-formed if \tcode{T*} is an invalid type.
+\begin{note}
+This prevents the intantiation of specializations such as
+\tcode{unique_ptr<T\&, D>} and \tcode{unique_ptr<int() const, D>}.
+\end{note}
+
 \pnum
 The default type for the template parameter \tcode{D} is
 \tcode{default_delete}. A client-supplied template argument