Opened 9 years ago

#3791 new Bugs

incorrect postcondition in documentation

Reported by: anonymous Owned by: Aleksey Gurtovoy
Milestone: Boost 1.42.0 Component: mpl
Version: Boost 1.41.0 Severity: Cosmetic
Keywords: Cc:

Description

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

Change History (0)

Note: See TracTickets for help on using tickets.