OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rollup merge of #76677 - RalfJung:stable-pointers, r=jonas-schievink

Browse Source 
note that test_stable_pointers does not reflect a stable guarantee

Just to be sure...
This commit is contained in:
Jonas Schievink 2020-09-13 20:21:24 +02:00 committed by GitHub
commit fe716d0447
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
library/alloc/tests/vec.rs
View File

@ -1511,6 +1511,9 @@ fn test_stable_pointers() {
// Test that, if we reserved enough space, adding and removing elements does not // Test that, if we reserved enough space, adding and removing elements does not
// invalidate references into the vector (such as `v0`). This test also // invalidate references into the vector (such as `v0`). This test also
// runs in Miri, which would detect such problems. // 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); let mut v = Vec::with_capacity(128);
v.push(13); v.push(13);