CWG2628 Implicit deduction guides should propagate constraints

Author: burblebee

source/overloading.tex

@@ -1198,6 +1198,10 @@
 by the template parameters (including default template arguments) of the constructor,
 if any.
 \item
+The associated constraints\iref{temp.constr.decl} are the conjunction of
+the associated constraints of \tcode{C} and
+the associated constraints of the constructor.
+\item
 The types of the function parameters are those of the constructor.
 \item
 The return type is the class template specialization