]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Auto merge of #67312 - cuviper:clone-box-slice, r=SimonSapin
authorbors <bors@rust-lang.org>
Tue, 7 Jan 2020 18:10:56 +0000 (18:10 +0000)
committerbors <bors@rust-lang.org>
Tue, 7 Jan 2020 18:10:56 +0000 (18:10 +0000)
commit85976442558bf2d09cec3aa49c9c9ba86fb15c1f
tree53989f474380c9cc1d60961309bb75594b5cbdca
parent56446fef49d73212f63ea7aa0680d5d602f19b9a
parent81a6709cf9f6e83b6dd2311f4dcd9e1ef1fba284
Auto merge of #67312 - cuviper:clone-box-slice, r=SimonSapin

Simplify Clone for Box<[T]>

The bespoke `BoxBuilder` was basically a very simple `Vec`. Instead,
let's clone to a real `Vec`, with all of its specialization for the
task, then convert back to `Box<[T]>`.