New issue from Tim Song: "simd::partial_load uses undefined identifier T"

Author: Dani-Hub

xml/issue4280.xml

@@ -0,0 +1,62 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4280" status="New">
+<title>`simd::partial_load` uses undefined identifier `T`</title>
+<section>
+<sref ref="[simd.loadstore]"/>
+</section>
+<submitter>Tim Song</submitter>
+<date>21 Jun 2025</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+The <i>Effects:</i> element of `std::simd::partial_load` (after the latest rename) uses `T` 
+but that is not defined anywhere. It should be `V::value_type`.
+<p/>
+Also, this paragraph should be a <i>Returns:</i> element.
+</p>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N5008"/>.
+</p>
+
+<ol>
+<li><p>Modify <sref ref="[simd.loadstore]"/> as indicated:</p>
+
+<blockquote>
+<pre><code>
+template&lt;class V = <i>see below</i>, ranges::contiguous_range R, class... Flags&gt;
+  requires ranges::sized_range&lt;R&gt;
+  constexpr V partial_load(R&amp;&amp; r, flags&lt;Flags...&gt; f = {});
+[&hellip;]
+template&lt;class V = <i>see below</i>, contiguous_iterator I, sized_sentinel_for&lt;I&gt; S, class... Flags&gt;
+  constexpr V partial_load(I first, S last, const typename V::mask_type&amp; mask,
+                           flags&lt;Flags...&gt; f = {});
+</code></pre>
+<blockquote>
+<p>
+-6- [&hellip;]
+<p/>
+-7- <i>Mandates</i>: [&hellip;]
+<p/>
+-8- <i>Preconditions</i>: [&hellip;]
+<p/>
+-9- <del><i>Effects</i>: Initializes the</del><ins><i>Returns</i>: A `basic_simd` object 
+whose</ins> <tt><i>i</i></tt><sup>th</sup> element <ins>is initialized</ins> with
+<tt>mask[<i>i</i>] &amp;&amp; <i>i</i> &lt; ranges::size(r) ? static_cast&lt;T&gt;(ranges::data(r)[<i>i</i>]) : T()</tt> 
+for all <tt><i>i</i></tt> in the range of <tt>[0, V::size())</tt><ins>, where `T` is `V::value_type`</ins>.
+<p/>
+-10- <i>Remarks</i>: The default argument for template parameter `V` is <tt>basic_simd&lt;ranges::range_value_t&lt;R&gt;&gt;</tt>.
+</p>
+</blockquote>
+</blockquote>
+</li>
+
+</ol>
+</resolution>
+
+</issue>