From 936537ea84934469a82ce768510966fd95f7977b Mon Sep 17 00:00:00 2001
From: Scott Olson <scott@solson.me>
Date: Mon, 21 Mar 2016 03:19:07 -0600
Subject: [PATCH] Add vec::IntoIter and fold test.

---
 test/vecs.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/vecs.rs b/test/vecs.rs
index 4b35263435f..53ca55aac1d 100755
--- 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)
+}