test/vecs.rs

   1 #![feature(custom_attribute)]
   2 #![allow(dead_code, unused_attributes)]
   3
   4 #[miri_run]
   5 fn make_vec() -> Vec<i32> {
   6     let mut v = Vec::with_capacity(4);
   7     v.push(1);
   8     v.push(2);
   9     v
  10 }
  11
  12 #[miri_run]
  13 fn make_vec_macro() -> Vec<i32> {
  14     vec![1, 2]
  15 }
  16
  17 #[miri_run]
  18 fn make_vec_macro_repeat() -> Vec<u8> {
  19     vec![42; 5]
  20 }
  21
  22 #[miri_run]
  23 fn vec_into_iter() -> i32 {
  24     vec![1, 2, 3, 4].into_iter().fold(0, |x, y| x + y)
  25 }