fn vec_eq_impl