Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #155003 - malezjaa:update-thinvec, r=davidtwco
update thin-vec
With thin-vec v0.2.15 released, copy-pasted implementation of ExtractIf can be removed.