about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2020-09-13 18:55:08 +0200
committerRalf Jung <post@ralfj.de>2020-09-13 18:55:08 +0200
commit71a5c464d15c9e839cebc8f7a46e88fbb762fdc4 (patch)
tree582d03a15dd002f2b47df28434418467c444d039
parentb6c84553c4fa47174d2510541a90243000fb44d8 (diff)
downloadrust-71a5c464d15c9e839cebc8f7a46e88fbb762fdc4.tar.gz
rust-71a5c464d15c9e839cebc8f7a46e88fbb762fdc4.zip
note that test_stable_pointers does not reflect a stable guarantee
-rw-r--r--library/alloc/tests/vec.rs3
1 files changed, 3 insertions, 0 deletions
diff --git a/library/alloc/tests/vec.rs b/library/alloc/tests/vec.rs
index 53b0d0a2718..5f7a9399453 100644
--- a/library/alloc/tests/vec.rs
+++ b/library/alloc/tests/vec.rs
@@ -1511,6 +1511,9 @@ fn test_stable_pointers() {
     // Test that, if we reserved enough space, adding and removing elements does not
     // invalidate references into the vector (such as `v0`).  This test also
     // runs in Miri, which would detect such problems.
+    // Note that this test does *not* constitute a stable guarantee that all these functions do not
+    // reallocate! Only what is explicitly documented at
+    // <https://doc.rust-lang.org/nightly/std/vec/struct.Vec.html#guarantees> is stably guaranteed.
     let mut v = Vec::with_capacity(128);
     v.push(13);