Add vec::IntoIter and fold test.

diff --git a/test/vecs.rs b/test/vecs.rs
index 4b35263435fa5ac46c688bb81918d96cdb1027db..53ca55aac1dc1e08d3f6204bad1659d2e8ab3214 100755 (executable)
--- a/test/vecs.rs
+++ b/test/vecs.rs
@@ -13,3 +13,8 @@ fn make_vec() -> Vec<i32> {
 fn make_vec_macro() -> Vec<i32> {
     vec![1, 2]
 }
+
+#[miri_run]
+fn vec_int_iter() -> i32 {
+    vec![1, 2, 3, 4].into_iter().fold(0, |x, y| x + y)
+}