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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
// run-pass
// needs-unwind
// Check that partially moved from function parameters are dropped after the
// named bindings that move from them.
// ignore-wasm32-bare compiled with panic=abort by default
use std::{panic, cell::RefCell};
struct LogDrop<'a>(i32, Context<'a>);
#[derive(Copy, Clone)]
struct Context<'a> {
panic_on: i32,
drops: &'a RefCell<Vec<i32>>,
}
impl<'a> Context<'a> {
fn record_drop(self, index: i32) {
self.drops.borrow_mut().push(index);
if index == self.panic_on {
panic!();
}
}
}
impl<'a> Drop for LogDrop<'a> {
fn drop(&mut self) {
self.1.record_drop(self.0);
}
}
fn bindings_in_params((_x, _): (LogDrop, LogDrop), (_, _y): (LogDrop, LogDrop)) {}
fn bindings_with_let(a: (LogDrop, LogDrop), b: (LogDrop, LogDrop)) {
// Drop order in foo is the same as the following bindings.
// _temp2 is declared after _x to avoid a difference between `_: T` and
// `x: T` in function parameters.
let _temp1 = a;
let (_x, _) = _temp1;
let _temp2 = b;
let (_, _y) = _temp2;
}
fn test_drop_order(panic_on: i32, fun: fn((LogDrop, LogDrop), (LogDrop, LogDrop))) {
let context = Context {
panic_on,
drops: &RefCell::new(Vec::new()),
};
let one = LogDrop(1, context);
let two = LogDrop(2, context);
let three = LogDrop(3, context);
let four = LogDrop(4, context);
let res = panic::catch_unwind(panic::AssertUnwindSafe(|| {
fun((three, four), (two, one));
}));
if panic_on == 0 {
assert!(res.is_ok(), "should not have panicked");
} else {
assert!(res.is_err(), "should have panicked");
}
assert_eq!(*context.drops.borrow(), [1, 2, 3, 4], "incorrect drop order");
}
fn main() {
(0..=4).for_each(|i| test_drop_order(i, bindings_in_params));
(0..=4).for_each(|i| test_drop_order(i, bindings_with_let));
(0..=4).for_each(|i| test_drop_order(i, |(_x, _), (_, _y)| {}));
}
|
