diff options
| author | John Hodge <tpg@ucc.asn.au> | 2016-02-07 19:35:39 +0800 |
|---|---|---|
| committer | John Hodge <tpg@ucc.asn.au> | 2016-02-07 21:33:30 +0800 |
| commit | f08626bc9b99eef97dbb78a8ac5f7dec958c0be7 (patch) | |
| tree | 7db7176d33da5bddb0f2b86a5c76f9d88dea6e4f | |
| parent | 3623797ebb9674322c4cfcfb0bb7b002afe17f11 (diff) | |
| download | rust-f08626bc9b99eef97dbb78a8ac5f7dec958c0be7.tar.gz rust-f08626bc9b99eef97dbb78a8ac5f7dec958c0be7.zip | |
Emit destructor invocation in FnOnce shim for Fn/FnMut
- Fixes #29946
| -rw-r--r-- | src/librustc_trans/trans/closure.rs | 2 | ||||
| -rw-r--r-- | src/test/run-pass/issue-29948.rs | 32 |
2 files changed, 33 insertions, 1 deletions
diff --git a/src/librustc_trans/trans/closure.rs b/src/librustc_trans/trans/closure.rs index 5bdfc099f08..c2d6422e3b0 100644 --- a/src/librustc_trans/trans/closure.rs +++ b/src/librustc_trans/trans/closure.rs @@ -421,7 +421,7 @@ fn trans_fn_once_adapter_shim<'a, 'tcx>( } }, ArgVals(&llargs[(self_idx + 1)..]), dest).bcx; - fcx.pop_custom_cleanup_scope(self_scope); + fcx.pop_and_trans_custom_cleanup_scope(bcx, self_scope); finish_fn(&fcx, bcx, sig.output, DebugLoc::None); diff --git a/src/test/run-pass/issue-29948.rs b/src/test/run-pass/issue-29948.rs new file mode 100644 index 00000000000..ec2b53313fa --- /dev/null +++ b/src/test/run-pass/issue-29948.rs @@ -0,0 +1,32 @@ +// Copyright 2014 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or +// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license +// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +struct Foo<'a>(&'a mut bool); + +impl<'a> Drop for Foo<'a> { + fn drop(&mut self) { + *self.0 = true; + } +} + +fn f<T: FnOnce()>(t: T) { + t() +} + +fn main() { + let mut ran_drop = false; + { + let x = Foo(&mut ran_drop); + let x = move || { let _ = x; }; + f(x); + } + assert!(ran_drop); +} + |
