diff --git a/test/vecs.rs b/test/vecs.rs index 2fb113b3da2..4b35263435f 100755 --- a/test/vecs.rs +++ b/test/vecs.rs @@ -9,7 +9,7 @@ fn make_vec() -> Vec { v } -// #[miri_run] -// fn make_vec_macro() -> Vec { -// vec![1, 2] -// } +#[miri_run] +fn make_vec_macro() -> Vec { + vec![1, 2] +}