Fix new "useless_vec" warning from clippy +nightly

This is the non-tests subset of the same-named commmit in !1388 (closed), (recreated by hand by me, and then checked against that commit; I stole the commit message from Nick's.)

This should be uncontroversial I think.