]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #10735 : alexcrichton/rust/issue-10734, r=cmr
authorbors <bors@rust-lang.org>
Sat, 30 Nov 2013 12:01:45 +0000 (04:01 -0800)
committerbors <bors@rust-lang.org>
Sat, 30 Nov 2013 12:01:45 +0000 (04:01 -0800)
Turns out `with_scope` already translates destructors, so by manually
translating destructors we end up running them all twice (bad).

Closes #10734


Trivial merge