Boost C++ Libraries: Ticket #3791: incorrect postcondition in documentation https://svn.boost.org/trac10/ticket/3791 <p> I don't think the following postcondition for "insert" on associative sequences is correct: </p> <p> typedef insert&lt;s,x&gt;::type r; Postcondition: size&lt;r&gt;::value == size&lt;s&gt;::value + 1. </p> <p> if r contains x, size&lt;r&gt;::value == size&lt;s&gt;::value </p> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/3791 Trac 1.4.3