diff --git a/xml/issue4154.xml b/xml/issue4154.xml index 7dda6e8a2c..26e5622f70 100644 --- a/xml/issue4154.xml +++ b/xml/issue4154.xml @@ -32,10 +32,36 @@ perhaps we should also so specify for `std::packaged_task`. Set priority to 3 after reflector poll.

-"Fix preconditions, since `f` doesn't need to be invocable, we only invoke -the copy." +"Fix preconditions, `f` doesn't need to be invocable, we only invoke the copy."

+ +

+This wording is relative to . +

+
    +
  1. Modify as indicated:

    +
    +

    +-3- Mandates: +is_invocable_r_v<R, Fdecay_t<F>&, ArgTypes...> +is `true`. +

    +[...] +

    +-5- Effects: +Constructs a new `packaged_task` object with a shared state and initializes +the object's stored task +of type decay_t<F> +with std::forward<F>(f). +

    +
    +
  2. +
+
+ +2024-10-02; Jonathan provides improved wording + @@ -50,7 +76,10 @@ This wording is relative to . is_invocable_r_v<R, Fdecay_t<F>&, ArgTypes...> is `true`.

-[...] +

-4- Preconditions: +Invoking a copy of `f` behaves the same as invoking `f`. + +

-5- Effects: Constructs a new `packaged_task` object with a shared state and initializes