]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12244 : pcwalton/rust/deuniquevectorpatterns, r=pcwalton
authorbors <bors@rust-lang.org>
Thu, 20 Feb 2014 05:56:51 +0000 (21:56 -0800)
committerbors <bors@rust-lang.org>
Thu, 20 Feb 2014 05:56:51 +0000 (21:56 -0800)
Preparatory work for removing unique vectors from the language, which is
itself preparatory work for dynamically sized types.

r? @brson


Trivial merge