Merge pull request #697 from RalfJung/linked-list

add LinkedList test and mention the bug Miri found there

Author: RalfJung

README.md

@@ -297,6 +297,7 @@ Miri has already found a number of bugs in the Rust standard library, which we c
 * [Futures turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/56319)
 * [`str` turning a shared reference into a mutable one](https://github.com/rust-lang/rust/pull/58200)
 * [`BTreeMap` creating mutable references that overlap with shared references](https://github.com/rust-lang/rust/pull/58431)
+* [`LinkedList` creating overlapping mutable references](https://github.com/rust-lang/rust/pull/60072)
 
 ## License
 

rust-version

@@ -1 +1 @@
-efe2f32a6b8217425f361ec7c206910c611c03ee
+130dc3e7dac132cf30272ccf4541b512828e2108

tests/run-pass/linked-list.rs

@@ -0,0 +1,33 @@
+#![feature(linked_list_extras)]
+use std::collections::LinkedList;
+
+fn list_from<T: Clone>(v: &[T]) -> LinkedList<T> {
+    v.iter().cloned().collect()
+}
+    
+fn main() {
+    let mut m = list_from(&[0, 2, 4, 6, 8]);
+    let len = m.len();
+    {
+        let mut it = m.iter_mut();
+        it.insert_next(-2);
+        loop {
+            match it.next() {
+                None => break,
+                Some(elt) => {
+                    it.insert_next(*elt + 1);
+                    match it.peek_next() {
+                        Some(x) => assert_eq!(*x, *elt + 2),
+                        None => assert_eq!(8, *elt),
+                    }
+                }
+            }
+        }
+        it.insert_next(0);
+        it.insert_next(1);
+    }
+
+    assert_eq!(m.len(), 3 + len * 2);
+    assert_eq!(m.into_iter().collect::<Vec<_>>(),
+               [-2, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 1]);
+}