vec: Write the .extend() specialization in cleaner style#37709

Merged

bors merged 1 commit intorust-lang:masterfrom bluss:cleaner-vec-extend

Nov 12, 2016

+41-30

Commits on Nov 11, 2016

vec: Write the .extend() specialization in cleaner style
bluss
committed