From 4632f3313d4770a880cfb97ece17c23032a79ed6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tomasz=20Kami=C5=84ski?= Date: Wed, 5 Nov 2025 18:01:08 +0100 Subject: [PATCH 1/4] =?UTF-8?q?New=20issue=20for=20US=20US=20206-325:=20Re?= =?UTF-8?q?move=20unnecessary=20sizeof=E2=80=A6(Env)=20>=201=20condition?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- xml/issue4447.xml | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 xml/issue4447.xml diff --git a/xml/issue4447.xml b/xml/issue4447.xml new file mode 100644 index 0000000000..3720e091f2 --- /dev/null +++ b/xml/issue4447.xml @@ -0,0 +1,40 @@ + + + + +Remove unnecessary `sizeof…(Env) > 1` condition +
+ +
+Tomasz Kamiński +05 Nov 2025 +99 + + +Addresses US 206-325 +

The “`sizeof…(Env) > 1` is `true`” part seems unreachable because `CS` is ill-formed in that case.

+ + + +

+This wording is relative to . +

+ +
    + +

  1. Modify as indicated:

    + +
    +

    +-2- For type `Sndr` and pack of types `Env`, let `CS` be `completion_signatures_of_t<Sndr, Env...>`. +Then `single-sender-value-type<Sndr, Env...>` is ill-formed if `CS` is ill-formed +or if `sizeof...(Env) > 1` is `true`; otherwise, it is an alias for: +[&hellip]; +

    +
    +
    2. +
+ + + + From 68911a7ccf20d6028d65b1d81bc0b94597bad143 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kr=C3=BCgler?= Date: Wed, 5 Nov 2025 18:08:10 +0100 Subject: [PATCH 2/4] Update xml/issue4447.xml --- xml/issue4447.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/issue4447.xml b/xml/issue4447.xml index 3720e091f2..0fa79e3a61 100644 --- a/xml/issue4447.xml +++ b/xml/issue4447.xml @@ -29,7 +29,7 @@ This wording is relative to . -2- For type `Sndr` and pack of types `Env`, let `CS` be `completion_signatures_of_t<Sndr, Env...>`. Then `single-sender-value-type<Sndr, Env...>` is ill-formed if `CS` is ill-formed or if `sizeof...(Env) > 1` is `true`; otherwise, it is an alias for: -[&hellip]; +[…]

From 3ee6613a79e329bc048aafbbca300ce011d3b7f4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kr=C3=BCgler?= Date: Wed, 5 Nov 2025 18:09:02 +0100 Subject: [PATCH 3/4] Update xml/issue4447.xml --- xml/issue4447.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/issue4447.xml b/xml/issue4447.xml index 0fa79e3a61..5e4fd78927 100644 --- a/xml/issue4447.xml +++ b/xml/issue4447.xml @@ -2,7 +2,7 @@ -Remove unnecessary `sizeof…(Env) > 1` condition +Remove unnecessary `sizeof…(Env) > 1` condition
From 235aae9677d8794a1676dddd933598b2c649e701 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Kr=C3=BCgler?= Date: Wed, 5 Nov 2025 18:09:33 +0100 Subject: [PATCH 4/4] Update xml/issue4447.xml --- xml/issue4447.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/issue4447.xml b/xml/issue4447.xml index 5e4fd78927..53f355b3f5 100644 --- a/xml/issue4447.xml +++ b/xml/issue4447.xml @@ -12,7 +12,7 @@ Addresses US 206-325 -

The “`sizeof…(Env) > 1` is `true`” part seems unreachable because `CS` is ill-formed in that case.

+

The “`sizeof…(Env) > 1` is `true`” part seems unreachable because `CS` is ill-formed in that case.