Proposed resolution:

This wording is relative to N4901.

1. Modify [range.iota.iterator], class iota_view::iterator synopsis, as indicated:

   namespace std::ranges {
     template<weakly_incrementable W, semiregular Bound>
       requires weakly-equality-comparable-with<W, Bound> && copyable<W>
     struct iota_view<W, Bound>::iterator {
       […]
       using iterator_category = input_iterator_tag; // present only if W models incrementable and 
                                                     // IOTA-DIFF-T(W) is an integral type
       using value_type = W;
       using difference_type = IOTA-DIFF-T(W);
       […]
     };
   }
   

[ 2022-07-25 Approved at July 2022 virtual plenary. Status changed: Ready → WP. ]

[ 2022-07-15; LWG telecon: move to Ready ]

[ 2022-03-04; Reflector poll ]

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

[ 2022-02-07; Casey Carter provides improved wording ]

[ 2022-02-07; Daniel comments ]

As requested by LWG 3376 and wording implemented by P2393R1, integer-class types are no longer required to have class type.

Previous resolution [SUPERSEDED]:

This wording is relative to N4901.

1. Modify [range.iota.iterator], class iota_view::iterator synopsis, as indicated:

   namespace std::ranges {
     template<weakly_incrementable W, semiregular Bound>
       requires weakly-equality-comparable-with<W, Bound> && copyable<W>
     struct iota_view<W, Bound>::iterator {
       […]
       using iterator_category = input_iterator_tag; // present only if W models incrementable and 
                                                     // IOTA-DIFF-T(W) is not a class type
       using value_type = W;
       using difference_type = IOTA-DIFF-T(W);
       […]
     };
   }
   

[range.iota.iterator] defines

using iterator_category = input_iterator_tag; // present only if W models incrementable

but when difference_type is an integer-class type the iterator does not meet the Cpp17InputIterator requirements.