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<s,x>::type r;
Postcondition:
size<r>::value == size<s>::value + 1.

if r contains x, size<r>::value == size<s>::value
",Bugs,new,Boost 1.42.0,mpl,Boost 1.41.0,Cosmetic,,,