New issue from Hewill Kang: "generator::iterator should provide iterator_concept"

Author: Dani-Hub

xml/issue4117.xml

@@ -0,0 +1,45 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4117" status="New">
+<title><tt>generator::<i>iterator</i></tt> should provide <tt>iterator_concept</tt></title>
+<section><sref ref="[coro.generator.iterator]"/></section>
+<submitter>Hewill Kang</submitter>
+<date>07 Jul 2024</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+<tt>generator::<i>iterator</i></tt> currently does not provide an <tt>iterator_concept</tt>.
+While this does not affect it being an <tt>input_iterator</tt>, providing <tt>iterator_concept</tt> 
+does improve consistency given that other C++20 iterators have such a member type alias.
+</p>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N4981"/>.
+</p>
+
+<ol>
+<li><p>Modify <sref ref="[coro.generator.iterator]"/> as indicated:</p>
+
+<blockquote><pre>
+namespace std {
+  template&lt;class Ref, class V, class Allocator&gt;
+  class generator&lt;Ref, V, Allocator&gt;::<i>iterator</i> {
+  public:
+    <ins>using iterator_concept = input_iterator_tag;</ins>
+    using value_type = value;
+    using difference_type = ptrdiff_t;
+    [&hellip;]
+  };
+}
+</pre></blockquote>
+
+</li>
+
+</ol>
+</resolution>
+
+</issue>