Proposed resolution:

This wording is relative to N4981.

1. Modify [coro.generator.iterator] as indicated:

   namespace std {
     template<class Ref, class V, class Allocator>
     class generator<Ref, V, Allocator>::iterator {
     public:
       using iterator_concept = input_iterator_tag;
       using value_type = value;
       using difference_type = ptrdiff_t;
       […]
     };
   }
   

[ 2024-08-02; Reflector poll ]

Set priority to 4 after reflector poll. Six votes for P0 (tentatively ready) but one NAD vote saying that if this has no effect on the category then there's no reason to add it.

generator::iterator currently does not provide an iterator_concept. While this does not affect it being an input_iterator, providing iterator_concept does improve consistency given that other C++20 iterators have such a member type alias.