Modify

Opened 8 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

Attachments (0)

Change History (0)

Modify Ticket

Change Properties
Set your email in Preferences
Action
as new The owner will remain Aleksey Gurtovoy.

Add Comment


E-mail address and name can be saved in the Preferences.

 
Note: See TracTickets for help on using tickets.