Why doesn't InputIterator require that reference is convertible to value_type?

[Eric Niebler]

Bug title says it all. boost::InputIterator doesn't enforce any relationship between the reference and value_type associated types. Seems wrong to me, but perhaps there is a reason.

It also doesn't check that the type of dereferencing an input iterator is reference.

[Dave Abrahams]

For what it's worth, I think I merely updated the existing checking classes to use the new protocols, so I probably didn't consider making those changes. Feel free to fix them :-)

[Eric Niebler]

Reassigning to the proper maintainer of BCCL, as listed in libs/maintainers.txt. Perhaps Jeremy could at least tell us if there was a reason for not enforcing the convertibility of reference to value_type for input iterators.