add `vec_extract`, `vec_insert`, `vec_promote` and `vec_insert_and_zero`#1772

Merged

Amanieu merged 1 commit intorust-lang:masterfrom

folkertdev:vector-insert-extract

Apr 17, 2025

Commits on Apr 12, 2025

add `vec_extract`, `vec_insert`, `vec_promote` and `vec_insert_and_zero`
folkertdev
committed