P0357R3 reference_wrapper for incomplete types

[refwrap] Clause 24 as mentioned in the paper is now 19.

Author: Dawn Perchik

source/utilities.tex

@@ -13338,6 +13338,10 @@
 \pnum
 \tcode{reference_wrapper<T>} is a trivially copyable type\iref{basic.types}.
 
+\pnum
+The template parameter \tcode{T} of \tcode{reference_wrapper}
+may be an incomplete type.
+
 \rSec3[refwrap.const]{Constructors and destructor}
 
 \indexlibrary{\idxcode{reference_wrapper}!constructor}%
@@ -13417,12 +13421,21 @@
 \end{itemdecl}
 
 \begin{itemdescr}
+\pnum
+\mandates
+\tcode{T} is a complete type.
+
 \pnum\returns \tcode{\placeholdernc{INVOKE}(get(), std::forward<ArgTypes>(args)...)}.\iref{func.require}
 \end{itemdescr}
 
 
 \rSec3[refwrap.helpers]{Helper functions}
 
+\pnum
+The template parameter \tcode{T} of
+the following \tcode{ref} and \tcode{cref} function templates
+may be an incomplete type.
+
 \indexlibrarymember{ref}{reference_wrapper}%
 \begin{itemdecl}
 template<class T> reference_wrapper<T> ref(T& t) noexcept;