From f65623dd5a083c9a75126a2124464aa760dd66d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dietmar=20K=C3=BChl?= <dietmar.kuehl@me.com>
Date: Mon, 1 Sep 2025 00:08:33 +0100
Subject: [PATCH 1/3] =?UTF-8?q?New=20issue=20from=20Dietmar=20K=C3=BChl:?=
 =?UTF-8?q?=20Missing=20default=20template=20arguments=20for=20task?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 xml/issue4343.xml | 56 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 xml/issue4343.xml

diff --git a/xml/issue4343.xml b/xml/issue4343.xml
new file mode 100644
index 0000000000..37073c0f93
--- /dev/null
+++ b/xml/issue4343.xml
@@ -0,0 +1,56 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4343" status="New">
+<title>Missing default template arguments for <code>task</code></title>
+<section><sref ref="[task.class]"/></section>
+<submitter>Dietmar Kühl</submitter>
+<date>01 Sep 2025</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+The design discussion of <code>task</code> describes defaults for
+the two template parameters <code>T</code> and <code>Environment</code>
+of <code>task</code> but these defaults are not reflected in the
+synopsis of <a href="https://wg21.link/task.class">[task.class]</a>.
+This is an oversight and should be fixed.  The default for
+<code>T</code> should be <code>void</code> and the default for
+<code>Environment</code> should be <code>env&lt;&gt;</code> (the
+design paper used <code>empty_env</code> but this <code>struct</code>
+was replaced by the class template <code>env</code> by <a
+href="https://wg21.link/p3325">P3325r5</a>).
+</p>
+<p>
+There could be a counter argument to defining a default for the
+<code>Environment</code> template parameter: this type is used to
+determine various customizations of <code>task</code>, e.g., the
+<code>allocator_type</code>, the <code>scheduler_type</code>, and
+the <code>stop_source_type</code>. Leaving the type a required
+argument means that a future standard could choose a possibly better
+default than the types determined when the <code>Environment</code>
+doesn't define them. On the other hand, a future standard could
+provide a suitable alias with modified types under a different
+name and/or a different namespace. Based on the LEWG discussion
+on 2025-08-26 the direction is to add the default arguments.
+</p>
+</discussion>
+
+<resolution>
+<p>
+Add default template arguments for <code>task</code> for
+<code>T = void</code> and <code>Environment = env&lt;&gt;</code>
+in the synopsis of <a
+href="https://wg21.link/task.class">[task.class]</a>:
+<blockquote><pre>
+namespace std::execution {
+  template&lt;class T <ins>= void</ins>, class Environment <ins>= env&lt;&gt;</ins>&gt;
+  class task {
+     ...
+  };
+}
+</pre></blockquote>
+</p>
+</resolution>
+
+</issue>

From 3903305900a993f840711ef24ea0312f1e9cedd1 Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <github@kayari.org>
Date: Mon, 1 Sep 2025 21:17:48 +0100
Subject: [PATCH 2/3] Apply suggestions from code review

---
 xml/issue4343.xml | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/xml/issue4343.xml b/xml/issue4343.xml
index 37073c0f93..248999d520 100644
--- a/xml/issue4343.xml
+++ b/xml/issue4343.xml
@@ -13,13 +13,12 @@
 The design discussion of <code>task</code> describes defaults for
 the two template parameters <code>T</code> and <code>Environment</code>
 of <code>task</code> but these defaults are not reflected in the
-synopsis of <a href="https://wg21.link/task.class">[task.class]</a>.
+synopsis of <sref ref="[task.class]"/>.
 This is an oversight and should be fixed.  The default for
 <code>T</code> should be <code>void</code> and the default for
 <code>Environment</code> should be <code>env&lt;&gt;</code> (the
 design paper used <code>empty_env</code> but this <code>struct</code>
-was replaced by the class template <code>env</code> by <a
-href="https://wg21.link/p3325">P3325r5</a>).
+was replaced by the class template <code>env</code> by <paper ref="p3325r5"/>).
 </p>
 <p>
 There could be a counter argument to defining a default for the
@@ -40,8 +39,7 @@ on 2025-08-26 the direction is to add the default arguments.
 <p>
 Add default template arguments for <code>task</code> for
 <code>T = void</code> and <code>Environment = env&lt;&gt;</code>
-in the synopsis of <a
-href="https://wg21.link/task.class">[task.class]</a>:
+in the synopsis of <sref ref="[task.class]"/>:
 <blockquote><pre>
 namespace std::execution {
   template&lt;class T <ins>= void</ins>, class Environment <ins>= env&lt;&gt;</ins>&gt;

From 96b9b60be0d5bfae00b8601a6b58b2cdbe8a790f Mon Sep 17 00:00:00 2001
From: Jonathan Wakely <github@kayari.org>
Date: Mon, 1 Sep 2025 21:20:40 +0100
Subject: [PATCH 3/3] Update xml/issue4343.xml

---
 xml/issue4343.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xml/issue4343.xml b/xml/issue4343.xml
index 248999d520..0260ac7cdb 100644
--- a/xml/issue4343.xml
+++ b/xml/issue4343.xml
@@ -18,7 +18,7 @@ This is an oversight and should be fixed.  The default for
 <code>T</code> should be <code>void</code> and the default for
 <code>Environment</code> should be <code>env&lt;&gt;</code> (the
 design paper used <code>empty_env</code> but this <code>struct</code>
-was replaced by the class template <code>env</code> by <paper ref="p3325r5"/>).
+was replaced by the class template <code>env</code> by <paper num="p3325r5"/>).
 </p>
 <p>
 There could be a counter argument to defining a default for the