1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
|
//@ run-pass
//@ needs-unwind
use std::panic;
impl<'a> panic::UnwindSafe for Foo<'a> {}
impl<'a> panic::RefUnwindSafe for Foo<'a> {}
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);
let mut ran_drop = false;
{
let x = Foo(&mut ran_drop);
let result = panic::catch_unwind(move || {
let x = move || { let _ = x; panic!() };
f(x);
});
assert!(result.is_err());
}
assert!(ran_drop);
}
|