[Boost-bugs] [Boost C++ Libraries] #3791: incorrect postcondition in documentation

Subject: [Boost-bugs] [Boost C++ Libraries] #3791: incorrect postcondition in documentation
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2009-12-22 14:20:40

#3791: incorrect postcondition in documentation
--------------------------+-------------------------------------------------
 Reporter:  anonymous     |       Owner:  agurtovoy
     Type:  Bugs          |      Status:  new      
Milestone:  Boost 1.42.0  |   Component:  mpl      
  Version:  Boost 1.41.0  |    Severity:  Cosmetic 
 Keywords:                |  
--------------------------+-------------------------------------------------
 I don't think the following postcondition for "insert" on associative
 sequences is correct:

 typedef insert<s,x>::type r;
 Postcondition:
 size<r>::value == size<s>::value + 1.

 if r contains x, size<r>::value == size<s>::value

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/3791>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.