std: Avoid ptr::copy
if unnecessary in vec::Drain
#50575
Merged
bors merged 1 commit intorust-lang:masterfrom May 11, 2018
Merged
std: Avoid `ptr::copy` if unnecessary in `vec::Drain`#50575bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom