#![feature(custom_attribute)]
#![allow(dead_code, unused_attributes)]

#[miri_run]
fn make_vec() -> Vec<i32> {
    let mut v = Vec::with_capacity(4);
    v.push(1);
    v.push(2);
    v
}

#[miri_run]
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)
}

#![feature(custom_attribute)]
#![allow(dead_code, unused_attributes)]

#[miri_run]
fn make_vec() -> Vec<i32> {
    let mut v = Vec::with_capacity(4);
    v.push(1);
    v.push(2);
    v
}

#[miri_run]
fn make_vec_macro() -> Vec<i32> {
    vec![1, 2]
}

--- 
+++ 
@@ -13,3 +13,8 @@
 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)
+}
Add vec::IntoIter and fold test.
