From: bors <bors@rust-lang.org>
Date: Wed, 11 Jun 2014 11:22:02 +0000 (-0700)
Subject: auto merge of #14787 : alexcrichton/rust/issue-14784, r=pcwalton
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=db9e0a1142ee1f57d27201f9bfb33d28e44f6355;p=rust.git

auto merge of #14787 : alexcrichton/rust/issue-14784, r=pcwalton

This is another case of #13246. The RAII lock wasn't being destroyed until after
the allocation was free'd due to destructor scheduling.

Closes #14784
---

db9e0a1142ee1f57d27201f9bfb33d28e44f6355