LWG4154 The Mandates for std::packaged_task's constructor from a callable entity should consider decaying

Author: burblebee

source/threads.tex

@@ -11861,16 +11861,13 @@
 
 \pnum
 \mandates
-\tcode{is_invocable_r_v<R, F\&, ArgTypes...>} is \tcode{true}.
-
-\pnum
-\expects
-Invoking a copy of \tcode{f} behaves the same as invoking \tcode{f}.
+\tcode{is_invocable_r_v<R, decay_t<F>\&, ArgTypes...>} is \tcode{true}.
 
 \pnum
 \effects
-Constructs a new \tcode{packaged_task} object with a shared state and
-initializes the object's stored task with \tcode{std::forward<F>(f)}.
+Constructs a new \tcode{packaged_task} object with
+a stored task of type \tcode{decay_t<F>} and a shared state.
+Initializes the object's stored task with \tcode{std::forward<F>(f)}.
 
 \pnum
 \throws