[functionals] as_vector() returns a copy