From: bors <bors@rust-lang.org>
Date: Sun, 5 Apr 2020 16:28:41 +0000 (+0000)
Subject: Auto merge of #1253 - RalfJung:vec-extend, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=350004fe758f919f75368d24973f789ee8f88d33;p=rust.git

Auto merge of #1253 - RalfJung:vec-extend, r=RalfJung

test Vec::extend

Currently fails, until https://github.com/rust-lang/rust/issues/70301 gets fixed.
---

350004fe758f919f75368d24973f789ee8f88d33