diff --git a/xml/issue4176.xml b/xml/issue4176.xml new file mode 100644 index 0000000000..06fcebc904 --- /dev/null +++ b/xml/issue4176.xml @@ -0,0 +1,34 @@ + + + + +Refer back to container requirements when extending them +
+Jonathan Wakely +22 Nov 2024 +99 + + +

+We sometimes give detailed specifications of container members which add +additional specification to the common requirements in +, for example + defines `vector::erase` without actually +saying it erases any elements. The actual effects of `erase` are given in +. +

+

+Authors of library wording often struggle with this non-local form of +specification, where we sometimes do spell out container member functions +in full, and sometimes rely on distant wording that applies to all containers. +It would be easier if `vector::erase` referred back to +. +

+
+ + +

+

+
+ +