The requirement for the type of *a in [input.iterators] Table 77:

reference, convertible to T

Whereas [forward.iterators] requires  reference  to be a reference  to T  or const T.

This conversion necessitates a copy constructor. However, containers like vector have permitted value_type without copy constructors since C++11, contradicting the requirement in [input.iterators].