Use tree_vector_builder::new_unary_operation for folding