Convert ~[] to Vec

This is for #2159