Merge pull request #516 from tomaszkam/tk/task-issues

New issue for US US 206-325: Remove unnecessary sizeof…(Env) > 1 condition

Author: Dani-Hub

xml/issue4447.xml

@@ -0,0 +1,40 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4447" status="New">
+<title>Remove unnecessary `sizeof…(Env) &gt; 1` condition</title>
+<section>
+<sref ref="[execution.syn]"/>
+</section>
+<submitter>Tomasz Kamiński</submitter>
+<date>05 Nov 2025</date>
+<priority>99</priority>
+
+<discussion>
+<b>Addresses <a href="https://github.com/cplusplus/nbballot/issues/900">US 206-325</a></b>
+<p>The “`sizeof…(Env) &gt; 1` is `true`” part seems unreachable because `CS` is ill-formed in that case.</p>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N5014"/>.
+</p>
+
+<ol>
+
+<li><p>Modify <sref ref="[execution.syn]"/> as indicated:</p>
+
+<blockquote>
+<p>
+-2- For type `Sndr` and pack of types `Env`, let `CS` be `completion_signatures_of_t&lt;Sndr, Env...&gt;`.
+Then `single-sender-value-type&lt;Sndr, Env...&gt;` is ill-formed if `CS` is ill-formed
+<del>or if `sizeof...(Env) &gt; 1` is `true`</del>; otherwise, it is an alias for:
+[&hellip;]
+</p>
+</blockquote>
+</li>
+</ol>
+
+</resolution>
+
+</issue>