add vec_extract, vec_insert, vec_promote and vec_insert_and_zero#1772
Merged
Amanieu merged 1 commit intorust-lang:masterfrom Apr 17, 2025
Merged
vec_extract, vec_insert, vec_promote and vec_insert_and_zero#1772