2016-03-20 20:18:09 -06:00
|
|
|
#![feature(custom_attribute)]
|
|
|
|
|
#![allow(dead_code, unused_attributes)]
|
|
|
|
|
|
|
|
|
|
#[miri_run]
|
|
|
|
|
fn make_vec() -> Vec<i32> {
|
2016-03-21 02:41:07 -06:00
|
|
|
let mut v = Vec::with_capacity(4);
|
2016-03-20 20:18:09 -06:00
|
|
|
v.push(1);
|
|
|
|
|
v.push(2);
|
|
|
|
|
v
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// #[miri_run]
|
|
|
|
|
// fn make_vec_macro() -> Vec<i32> {
|
|
|
|
|
// vec![1, 2]
|
|
|
|
|
// }
|
