id summary reporter owner description type status milestone component version severity resolution keywords cc 3791 incorrect postcondition in documentation anonymous Aleksey Gurtovoy "I don't think the following postcondition for ""insert"" on associative sequences is correct: typedef insert::type r; Postcondition: size::value == size::value + 1. if r contains x, size::value == size::value " Bugs new Boost 1.42.0 mpl Boost 1.41.0 Cosmetic