Talk:cpp/named req/OutputIterator
From cppreference.com
I think that the following sentence is inaccurate: "... instances i and o of It must:" as the table proceeds to define operations such as "*i = o", which seems odd type-wise.
In n3242.pdf (*), 24.2.1:1, it is stated that "All output iterators support the expression *i = o where o is a value of some type that is in the set of types that are writable to the particular iterator type of i." which supports my hypothesis.
(*) http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2011/n3242.pdf from http://www.open-std.org/jtc1/sc22/wg21/