Skip to content

Commit 82ddc5e

Browse files
committed
Add comment to 2137
1 parent 2df4f6d commit 82ddc5e

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

xml/issue2137.xml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,15 @@ opening many issues in an ongoing process.
3838
</p>
3939

4040
<note>2015-05-06 Lenexa: EricWF to write paper addressing 2136 and 2137</note>
41+
42+
<note>2024-10-03; Jonathan comments</note>
43+
<p>
44+
I could find no other cases in the entire standard where we say something
45+
like this in a <i>Postconditions</i>: element.
46+
<sref ref="[streambuf.virt.pback]"/> p2 says
47+
"<i>Postconditions</i>: On return, the constraints of [...]"
48+
which is probably redundant (postconditions are always "on return").
49+
</p>
4150
</discussion>
4251

4352
<resolution>

0 commit comments

Comments
 (0)