Proposed resolution:

This wording is relative to n4917.

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

   namespace std {
     template<class Ref, class V, class Allocator>
     class generator<Ref, V, Allocator>::iterator {
     public:
       using value_type = value;
       using difference_type = ptrdiff_t;
   
       iterator(iterator&& other) noexcept;
       iterator& operator=(iterator&& other) noexcept;
       
       reference operator*() const noexcept(is_nothrow_copy_constructible_v<reference>);
       iterator& operator++();
       void operator++(int);
   
       friend bool operator==(const iterator& i, default_sentinel_t);
   
     private:
       coroutine_handle<promise_type> coroutine_; // exposition only
     };
   }
   

   […]

   friend bool operator==(const iterator& i, default_sentinel_t);
   

   -10- Effects: Equivalent to: return i.coroutine_.done();

[ 2022-11-12 Approved at November 2022 meeting in Kona. Status changed: Voting → WP. ]

[ 2022-09-23; Reflector poll ]

Set status to Tentatively Ready after six votes in favour during reflector poll.

Currently, generator::iterator::operator== passes iterator by value. Given that iterator is a move-only type, this makes it impossible for generator to model range, since default_sentinel cannot be compared to the iterator of const lvalue and is not eligible to be its sentinel.