[ 2009-05-25 Daniel adds: ]

1. If 1009 is accepted, OutputIterator does no longer support post increment.
2. To support backward compatibility a second overload of operator* can be added. Note that the HasDereference concept (and the HasDereference part of concept Iterator) was specifically refactored to cope with optional const qualification and to properly reflect the dual nature of built-in operator* as of [over.literal]/6.

[ Batavia (2009-05): ]

Alisdair notes that these all are output iterators. Howard points out that ++*i would no longer work if we made this change.

Move to NAD.

[ Post Summit Daniel adds: ]

If done, this change should be applied for front_insert_iterator, insert_iterator, ostream_iterator, and ostreambuf_iterator as well.

I just noticed this; don't know how far the problem(?) extends or whether it's new or existing: back_insert_iterator's operator* is not const, so you can't dereference a const one.