// run-pass

pub fn main() { let mut v = vec![1, 2, 3]; v.push(1); }