Issue 725 - WG21 LWG Issues
Title
Optional sequence container requirements column label
Status
nad editorial
Section
[sequence.reqmts]
Submitter
David Abrahams

Created on 2007-09-16.00:00:00 last changed 171 months ago

Messages

msg3552 (view)
Date: 2010-10-21.18:28:33

Proposed resolution:

Table 90: Optional sequence container operations
expression return type assertion/note
pre/post-condition
operational semantics		 container
msg3551 (view)
Date: 2007-09-16.00:00:00

Table 90: (Optional sequence container operations) states the "assertion note pre/post-condition" of operator[] to be 

*(a.begin() + n)

Surely that's meant to be "operational semantics?"

History
Date User Action Args
2010-10-21 18:28:33adminsetmessages: + msg3552
2007-09-16 00:00:00admincreate