]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #32883 - sanxiyn:nameless-defkey, r=arielb1
authorbors <bors@rust-lang.org>
Thu, 14 Apr 2016 10:49:14 +0000 (03:49 -0700)
committerbors <bors@rust-lang.org>
Thu, 14 Apr 2016 10:49:14 +0000 (03:49 -0700)
Do not encode name when encoding DefKey

Since name is encoded anyway, name in DefKey is redundant.

cc #32719.


Trivial merge