LWG3476 thread and jthread constructors require that the parameters be move-constructible but never move construct the parameters

Author: burblebee

source/threads.tex

@@ -1199,17 +1199,10 @@
 The following are all \tcode{true}:
 \begin{itemize}
 \item \tcode{is_constructible_v<decay_t<F>, F>},
-\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)},
-\item \tcode{is_move_constructible_v<decay_t<F>>},
-\item \tcode{(is_move_constructible_v<decay_t<Args>> \&\& ...)}, and
+\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)}, and
 \item \tcode{is_invocable_v<decay_t<F>, decay_t<Args>...>}.
 \end{itemize}
 
-\pnum
-\expects
-\tcode{decay_t<F>} and each type in \tcode{decay_t<Args>} meet the
-\oldconcept{MoveConstructible} requirements.
-
 \pnum
 \effects
 The new thread of execution executes
@@ -1536,17 +1529,10 @@
 The following are all \tcode{true}:
 \begin{itemize}
 \item \tcode{is_constructible_v<decay_t<F>, F>},
-\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)},
-\item \tcode{is_move_constructible_v<decay_t<F>>},
-\item \tcode{(is_move_constructible_v<decay_t<Args>> \&\& ...)}, and
+\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\& ...)}, and
 \item \tcode{is_invocable_v<decay_t<F>, decay_t<Args>...> ||} \\ \tcode{is_invocable_v<decay_t<F>, stop_token, decay_t<Args>...>}.
 \end{itemize}
 
-\pnum
-\expects
-\tcode{decay_t<F>} and each type in \tcode{decay_t<Args>} meet the
-\oldconcept{MoveConstructible} requirements.
-
 \pnum
 \effects
 Initializes \tcode{ssource}.
@@ -7100,16 +7086,10 @@
 The following are all \tcode{true}:
 \begin{itemize}
 \item \tcode{is_constructible_v<decay_t<F>, F>},
-\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\&...)},
-\item \tcode{is_move_constructible_v<decay_t<F>>},
-\item \tcode{(is_move_constructible_v<decay_t<Args>> \&\&...)}, and
+\item \tcode{(is_constructible_v<decay_t<Args>, Args> \&\&...)}, and
 \item \tcode{is_invocable_v<decay_t<F>, decay_t<Args>...>}.
 \end{itemize}
 
-\pnum
-\expects
-\tcode{decay_t<F>} and each type in \tcode{decay_t<Args>} meet the \oldconcept{MoveConstructible} requirements.
-
 \pnum
 \effects
 The first function